Definition:Codomain (Category Theory)
From ProofWiki
This page is about the concept of codomain in category theory. For other uses, see Definition:Codomain.
Definition
Let $f: X \to Y$ be a morphism.
Then the codomain of $f$ is defined to be the object $Y$.
This is usually denoted $X = \operatorname{cod} f$.
