Axiomatizing Category Theory in Free Logic | Read Paper on Bytez