Characterization of Metacategory via Equations

Theorem
Let $\mathbf C_0$ and $\mathbf C_1$ be collections of objects.

Let $\operatorname{Cdm}$ and $\operatorname{Dom}$ assign to every element of $\mathbf C_1$ an element of $\mathbf C_0$.

Let $\operatorname{id}$ assign to every element of $\mathbf C_0$ an element of $\mathbf C_1$.

Denote with $\mathbf C_2$ the collection of pairs $\tuple {f, g}$ of elements of $\mathbf C_1$ satisfying:


 * $\Dom g = \Cdm f$

Let $\circ$ assign to every such pair an element of $\mathbf C_1$.

Then $\mathbf C_0, \mathbf C_1, \operatorname{Cdm}, \operatorname{Dom}, \operatorname{id}$ and $\circ$ together determine a metacategory $\mathbf C$ the following seven axioms are satisfied:

where $A$ and $f, g, h$ are arbitrary elements of $\mathbf C_0$ and $\mathbf C_1$, respectively.

Further, in the last two lines, it is presumed that all compositions are defined.

Hence it follows that:


 * $\mathbf C_0$ and $\mathbf C_1$ represent the collections of objects and morphisms of $\mathbf C$
 * $\operatorname{Dom}$ and $\operatorname{Cdm}$ represent the domain and codomain of a morphism of $\mathbf C$
 * $\operatorname{id}$ represents the identity morphisms of $\mathbf C$
 * $\mathbf C_2$ represents the collection of composable morphisms of $\mathbf C$
 * $\circ$ represents the composition of morphisms in $\mathbf C$