Notation for codomain

821 Views Asked by At

Let $X, Y$ be sets, and $f : X \rightarrow Y$ a map. Is there a standard notation for the codomain of f? cod $f$, maybe? I know that in category theory, specifically in Set there exists a function (of classes) from Mor(Set) to Ob(Set) that assigns the 'target' to each morphism, but that seems cubersome..