nLab
split equalizer
Contents
Context
Limits and colimits
limits and colimits
1Categorical

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
2Categorical
(∞,1)Categorical
Modelcategorical
Contents
Definition
A fork
is split if it can be embedded into a diagram
in which $s e = id_A$, $t g = id_B$ and $t f = e s$.
Of course, $f$ and $g$ can be interchanged in the definition.
Properties
Every split fork is an absolute equalizer, but not conversely.
See also split coequalizer.
Last revised on January 28, 2019 at 01:27:19.
See the history of this page for a list of all contributions to it.