Category theory MOC

Kernel

In a category with zero morphisms, the kernel of a morphism is the equalizer of with the zero morphism . #m/def/cat

https://q.uiver.app/#q=WzAsNCxbMCwwLCJcXGtlciBmIl0sWzAsMiwiWCJdLFsyLDIsIlkiXSxbMiwwLCIwIl0sWzEsMiwiZiJdLFswLDMsIiIsMCx7InN0eWxlIjp7ImhlYWQiOnsibmFtZSI6ImVwaSJ9fX1dLFszLDIsIiIsMSx7InN0eWxlIjp7InRhaWwiOnsibmFtZSI6Imhvb2siLCJzaWRlIjoiYm90dG9tIn19fV0sWzAsMSwiIiwxLHsic3R5bGUiOnsidGFpbCI6eyJuYW1lIjoiaG9vayIsInNpZGUiOiJib3R0b20ifX19XSxbMCwyLCIiLDAseyJzdHlsZSI6eyJuYW1lIjoiY29ybmVyIn19XV0=

The dual notion is the cokernel.

Examples in particular categories


#state/tidy | #lang/en | #SemBr