nLab fork

Contents

Contents

Idea

A fork is a diagram of the form

AeBgfC A\underset{\quad e \quad}{\to}B\underoverset{\quad g \quad}{f}{\rightrightarrows}C

such that fe=gef e=g e. An example of a special type of a fork is an equalizer. Another example is a reflexive fork, where C=AC = A and fe=1 Af e = 1_A.

A dual notion is also called a fork, but some people distinguish forks and coforks.

Last revised on December 8, 2022 at 21:36:21. See the history of this page for a list of all contributions to it.