Limits and colimits
limits and colimits
limit and colimit
limits and colimits by example
commutativity of limits and colimits
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
end and coend
In a category a diagram of morphisms of
is called a coequalizer diagram if 1. ; and 1. is universal for this property: i.e. if is a morphism of such that , then there is a unique morphism such that .
This concept is a special case of that of colimit; specifically, it’s the colimit of the diagram
A coequalizer in is an equalizer in the opposite category .
Revised on October 14, 2014 03:51:43
by John Dougherty