Stopa, M. Category Theory and Some of Its Logical Aspects. ZFN 2018, No. 64, 7-58. https://doi.org/10.59203/zfn.64.409.