Formal categorical reasoning - Ekici, B (Turkish Journal of Mathematics, 2022)