# Definition:Codomain (Category Theory)

Jump to navigation
Jump to search

*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 $Y = \operatorname{cod} f$.