Skip to content

Parallel Pair Category

The parallel pair category is a category with two objects, \(1\) and \(2\), and two non-identity morphisms, both from \(1\) to \(2\). The limit of a diagram indexed by such a category is called an equalizer.