Definition:Codomain (Category Theory)

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$.