cokernel (category theory)
1. Definition
A cokernel is a kernel in the opposite category
2. Explicite
Let 
be a category with a zero object 
.
Then the 
for a morphism 
- if it exists - is defined as pushout
resp. a coequalizer
A cokernel is a kernel in the opposite category
Let be a category with a zero object .
Then the for a morphism - if it exists - is defined as pushout
resp. a coequalizer
Date: nil
Created: 2024-10-13 So 15:59