Example image of eyePlorer eyePlorer map for 'Pre-abelian category': Additive category Category theory Cokernel Kernel (category theory) Mathematics Abelian group Biproduct Coequalizer Coproduct Enriched category Equalizer Finite set Monoidal category Preadditive category Product (category theory) Zero morphism Identity element Initial and terminal objects Morphism Closed monoidal category Direct sum of modules Kernel (algebra) Hausdorff space Module (mathematics) Ring (mathematics) Topological group Vector space Abelian category Limit (category theory) Complete category Coimage Image (category theory) Function (mathematics) Range (mathematics) Closure (topology) Isomorphism Set (mathematics) If and only if Universal quantification Closed set Exact functor Group homomorphism Exact sequence Epimorphism Monomorphism Normal morphism Nicolae Popescu Abelian (mathematics)