From ProofWiki
Jump to navigation Jump to search

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$


This category has only the following subcategory.