Axiom:Axioms for Morphisms-Only Category Theory

Axiom
Let $\mathcal {MOCT}$ be the language of (morphisms-only) category theory.

Then (morphisms-only) category theory is the mathematical theory arising from the following axioms:

Also see

 * Definition:Morphisms-Only Metacategory, a metamodel for these axioms