Assertion: kernel | /r/HasProperty | a subobject of the domain
Facets:
Source sentences:
text: Cokernels are dual to the kernels of category theory, hence the name: the kernel is a subobject of the domain (it maps to the domain), while the cokernel is a quotient object of the codomain (it maps from the codomain).