# nLab bi-terminal object

Contents

### Context

#### 2-Category theory

2-category theory

## Structures on 2-categories

#### Limits and colimits

limits and colimits

# Contents

## Idea

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

## Definition

In a bicategory $A$, an object $L \in A$ is bi-terminal (or biterminal) when for all $X \in A$, there is an equivalence of categories between $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 3, 2021 at 09:21:22. See the history of this page for a list of all contributions to it.