Definition:Domain (Category Theory)
Jump to navigation Jump to search
This page is about Domain in the context of Category Theory. For other uses, see Domain.
Let $f: X \to Y$ be a morphism.
Then the domain of $f$ is defined to be the object $X$.
This is usually denoted $X = \Dom f$ or $X = \map D f$.