Definition:Codomain (Category Theory)
(Redirected from Definition:Codomain of Morphism)Jump to navigation Jump to search
This page is about Codomain in the context of Category Theory. For other uses, see Codomain.
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$.