A fork is a diagram of the form
such that . An example of a special type of a fork is an equalizer. Another example is a reflexive fork, where and .
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.