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

 * Morphisms-Only Metacategory, a metamodel for these axioms