empty diagram

[[!include category theory - contents]]

The *empty diagram* in some category is the diagram indexed by the empty category.

The limit over the empty diagram is, if it exists, the terminal object.

The colimit over the empty diagram is, if it exists, the initial object.

Created on April 21, 2017 at 10:51:32. See the history of this page for a list of all contributions to it.