initial and terminal objects

Objects used in category theory branch of mathematics

EntityQ529752

Also known as initial, terminal and zero objects

Subclass of: object of a category

Overview

From Wikipedia, the free encyclopedia · Read full article · Text CC BY-SA 4.0

In category theory, a branch of mathematics, an initial object of a category C is an object I in C such that for every object X in C, there exists precisely one morphism I → X.

Overview

All data

6 statements · 17% with external sources · numbers in brackets are citations

Studied by: category theory
Members / parts: initial object
terminal object
zero object

On other databases

2 identifiers linking initial and terminal objects across the web's reference databases

Data quality

statements

17%

externally sourced

Source last edited October 8, 2026. AIDB refreshes this page daily.

Suggest a fact or correction

Links

Use this data

curl https://aidb.si/api/v1/entities/Q529752

API docs, limits & keys

Cite this page

AIDB. (2026). initial and terminal objects (Q529752). Retrieved from https://aidb.si/e/initial-and-terminal-objects-Q529752