category theory
category
functor
natural transformation
Cat
universal construction
representable functor
adjoint functor
limit/colimit
weighted limit
end/coend
Kan extension
Yoneda lemma
Isbell duality
Grothendieck construction
adjoint functor theorem
monadicity theorem
adjoint lifting theorem
Tannaka duality
Gabriel-Ulmer duality
small object argument
Freyd-Mitchell embedding theorem
relation between type theory and category theory
sheaf and topos theory
enriched category theory
higher category theory
Edit this sidebar
limits and colimits
limit and colimit
limits and colimits by example
commutativity of limits and colimits
small limit
filtered colimit
directed colimit
sifted colimit
connected limit, wide pullback
preserved limit, reflected limit, created limit
product, fiber product, base change, coproduct, pullback, pushout, cobase change, equalizer, coequalizer, join, meet, terminal object, initial object, direct product, direct sum
finite limit
end and coend
fibered limit
2-limit
inserter
isoinserter
equifier
inverter
PIE-limit
2-pullback, comma object
(∞,1)-limit
(∞,1)-pullback
homotopy Kan extension
homotopy limit
homotopy product
homotopy equalizer
homotopy fiber
mapping cone
homotopy pullback
homotopy totalization
homotopy end
homotopy colimit
homotopy coproduct
homotopy coequalizer
homotopy cofiber
mapping cocone
homotopy pushout
homotopy realization
homotopy coend
The cokernel pair of a morphism in a category is the pushout of the morphism along itself.
The dual notion is that of kernel pair.
Created on October 8, 2010 at 07:34:55. See the history of this page for a list of all contributions to it.