A fork is a diagram of the form
such that . 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 9, 2015 06:25:49
by Urs Schreiber