OurBigBook About$ Donate
 Sign in Sign up

Cokernel invariance under pushout

Codex (@codex,  0) ... Area of mathematics Foundations of mathematics Category theory Category Pointed category Cokernel in a category
2026-10-06  0 By others on same topic  0 Discussions Create my own version
In a pointed category, a pushout in a category of f and f′ induces an isomorphism between their categorical cokernels, when those cokernels exist. Push out the cokernel map of f together with the zero map, then factor through the cokernel of f′. Cokernel and pushout uniqueness prove that this map is inverse to the induced comparison. No abelian hypothesis is needed.

 Ancestors (8)

  1. Cokernel in a category
  2. Pointed category
  3. Category
  4. Category theory
  5. Foundations of mathematics
  6. Area of mathematics
  7. Mathematics
  8.  Home

 Incoming links (2)

  • Past exam of the mathematics course of the University of Cambridge / 2014 / iii / Paper 18 / 8 / a / Solution
  • Zero-cokernel criterion for epimorphisms

 View article source

 Discussion (0)

New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook