Stopa M. Category theory and some of its logical aspects. ZFN. 2018;(64):7-58. doi:10.59203/zfn.64.409