Assertion: kernel | /r/HasProperty | its cokernel
Facets:
value: in the opposite category
type: OTHER
Source sentences:
text: That is, the kernel of a morphism is its cokernel in the opposite category, and vice versa.
text: When m is a monomorphism, it must be its own image; thus, not only are abelian categories normal, so that every monomorphism is a kernel, but we also know which morphism the monomorphism is a kernel of, to wit, its cokernel.