nLab
empty diagram

Contents

Context

Category theory

[[!include category theory - contents]]

Contents

Definition

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

Properties

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.