M. Stopa, “Category theory and some of its logical aspects”, ZFN, no. 64, pp. 7–58, Jul. 2018, doi: 10.59203/zfn.64.409.