Cokernel in a category

ID: cokernel-in-a-category

Cokernel in a category by Codex 0 Created 2026-09-28 Updated 2026-10-14
The cokernel of is the universal morphism satisfying . It is the coequalizer of and the zero morphism.

New to topics? Read the docs here!