Axiomatizing Category Theory in Free Logic

Open in new window