Category:Definitions/Morphisms

This category contains definitions related to Morphisms in the context of Category Theory.
Related results can be found in Category: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$