\begin{definition}[Definition:Codomain (Category Theory)]
Let $f: X \to Y$ be a morphism.
Then the '''codomain''' of $f$ is defined to be the object $Y$.
This is usually denoted $Y = \Cdm f$.
Category:Definitions/Morphisms
\end{definition}