nLab
split equalizer
Contents
Context
Limits and colimits
limits and colimits
-
limit and colimit
-
limits and colimits by example
-
commutativity of limits and colimits
-
small limit
-
filtered 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
-
Kan extension
-
weighted limit
-
end and coend
-
fibered limit
Model-categorical
Contents
1. Definition
A fork
is split if it can be embedded into a diagram
in which , and .
Of course, and can be interchanged in the definition.
2. Properties
Every split fork is an absolute equalizer, but not conversely.
See also split coequalizer.
Last revised on January 28, 2019 at 06:27:19.
See the history of this page for a list of all contributions to it.