nLab split equalizer

Contents

Context

Limits and colimits

limits and colimits

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.