Assertion: kernel | /r/HasProperty | the zero morphism
Facets:
value: from x
type: LOCATION
Source sentences:
text: In that case, if f : X → Y is an arbitrary morphism in C, then a kernel of f is an equaliser of f and the zero morphism from X to Y.