Stopa, M. Category Theory and Some of Its Logical Aspects. ZFN 2018, 7-58.