Assertion: kernel | /r/HasProperty | object
Facets:
value: with a morphism
type: OTHER
Source sentences:
text: A kernel of f is an object K together with a morphism k :