universality

See universality class.

universal construction (having universal property), e.g. limits, representable object etc.

A terminal object is also called a universal terminal object, and an initial object is also called a universal initial object. There is also a notion of universal arrow.

While every colimit has a universal property, there is also an additional terminology. A colimit is a universal colimit if it is stable under pullbacks.

See also universe, Grothendieck universe, constructible universe.

Last revised on June 11, 2016 at 23:08:17. See the history of this page for a list of all contributions to it.