# nLab fork

A fork is a diagram of the form

$A\underset{\phantom{\rule{1em}{0ex}}e\phantom{\rule{1em}{0ex}}}{\to }B\underset{\phantom{\rule{1em}{0ex}}g\phantom{\rule{1em}{0ex}}}{\overset{f}{⇉}}C$A\underset{\quad e \quad}{\to}B\underoverset{\quad g \quad}{f}{\rightrightarrows}C

such that $fe=ge$. An example of a special type of a fork is an equalizer.

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

Revised on September 10, 2010 02:47:19 by Anonymous Coward (24.27.27.87)