Assertion: sequence | /r/HasProperty | → x → y
Facets:
Source sentences:
text: Therefore, the sequence 0 → X → Y → 0 is exact if and only if the map from X to Y is both a monomorphism and epimorphism (that is, a bimorphism), and thus, in many cases, an isomorphism from X to Y.