Category:Morphisms

This category contains results about Morphisms.
Definitions specific to this category can be found in Definitions/Morphisms.

Let $\mathbf C$ be a metacategory.

A morphism of $\mathbf C$ is an object $f$, together with:

• A domain $\operatorname{dom} f$, which is an object of $\mathbf C$
• A codomain $\operatorname{cod} f$, also an object of $\mathbf C$