Assertion: function's codomain | /r/HasProperty | the target
Facets:
Source sentences:
text: For example, a morphism f : X → Y {\displaystyle f:\,X\to Y} in a concrete category (i.e. a morphism which can be viewed as functions) carries with it the information of its domain (the source X {\displaystyle X} of the morphism) and its codomain (the target Y {\displaystyle Y} ).