Definition:Domain (Category Theory)

From ProofWiki
Jump to navigation Jump to search

This page is about the concept of domain in category theory. For other uses, see Definition:Domain.

Definition

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 = \operatorname{dom} f$ or $X = D \left({f}\right)$.