# 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.