M. Stopa, “Category theory and some of its logical aspects”, ZFN, no. 64, pp. 7–58, Jul. 2018.