Assertion: kernel | /r/HasProperty | an equaliser of f
Facets:
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.