nLab
bi-terminal object

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: