Initial and terminal objects
id:
initial-and-terminal-objects-297-1960762
title:
Initial and terminal objects
text:
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. The dual notion is that of a terminal object: T is terminal if for every object X in C there exists exactly one morphism X → T. Initial objects are also called coterminal or universal, and terminal objects are also called final. If an object is both initial and terminal, it is called a zero object or null object. A pointe
brand slug:
wiki
category slug:
encyclopedia
description:
Special objects used in (mathematical) category theory
original url:
https://en.wikipedia.org/wiki/Initial_and_terminal_objects
date created:
date modified:
2024-01-21T16:25:15Z
main entity:
{"identifier":"Q529752","url":"https://www.wikidata.org/entity/Q529752"}
image:
fields total:
13
integrity:
14