Assertion: surjective function | /r/HasProperty | epimorphism
Facets:
value: precisely
type: MANNER
value: in the category of sets
type: OTHER
value: specifically
type: DEGREE
Source sentences:
text: Specifically, surjective functions are precisely the epimorphisms in the category of sets.