From ProofWiki
Jump to navigation Jump to search

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$