Category Theory in Logic: A formal approach to mathematical logic utilizing the abstract structures and morphisms of category theory. It offers a powerful le...
View in Alexandria