Formal categorical reasoning (Turkish Journal of Mathematics, 2022)

(untitled) - Ekici, B