Category Theory and Some of Its Logical Aspects. ZFN 2018, No. 64, 7-58.