nLab bi-terminal object

Contents

Context

2-Category theory

Limits and colimits

Contents

Idea

Bi-terminal objects are the bicategorical analogues of terminal objects in categories.

Definition

In a bicategory AA, an object LAL \in A is bi-terminal (or biterminal) when for all XAX \in A, there is an equivalence of categories between A(X,L)A(X,L) and the terminal category 𝟙\mathbb{1} with a single object and single morphism.

References

This concept appears among others in:

  • Tslil Clingman, Lyne Moser, 2-limits and 2-terminal objects are too different (arXiv:2004.01313).

Last revised on October 23, 2022 at 11:43:21. See the history of this page for a list of all contributions to it.