https://ncatlab.org/nlab/show/limit
Equalizer (category theory)
The Dual notion is the Colimit of a diagram