nLab
bi-terminal object
Redirected from "terminal object in a 2-category".
Contents
Context
2-Category theory
2-category theory
Definitions
Transfors between 2-categories
Morphisms in 2-categories
Structures in 2-categories
Limits in 2-categories
Structures on 2-categories
Limits and colimits
limits and colimits
1-Categorical
-
limit and colimit
-
limits and colimits by example
-
commutativity of limits and colimits
-
small limit
-
filtered colimit
-
sifted colimit
-
connected limit, wide pullback
-
preserved limit, reflected limit, created limit
-
product, fiber product, base change, coproduct, pullback, pushout, cobase change, equalizer, coequalizer, join, meet, terminal object, initial object, direct product, direct sum
-
finite limit
-
Kan extension
-
weighted limit
-
end and coend
-
fibered limit
2-Categorical
(∞,1)-Categorical
Model-categorical
Contents
Idea
Bi-terminal objects are the bicategorical analogues of terminal objects in categories.
Definition
In a bicategory , an object is bi-terminal (or biterminal) when for all , there is an equivalence of categories between and the terminal category 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.