Statistics of Axiom Systems for Category Theory in Free Logic

Contact ORBilu