Assertion: surjective function | /r/HasProperty | monomorphism
Facets:
value: in the category
type: OTHER
value: precisely
type: MANNER
value: in other words
type: OTHER
Source sentences:
text: In other words, injective functions are precisely the monomorphisms in the category Set of sets.
text: In other words, injective functions are precisely the monomorphisms in the category of sets.