nLab
representable 2-category
Contents
Context
∞ \infty
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
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
Contents
Idea
A 2-category is representable when it admits pullbacks and cotensors with the interval category . A 2-category has finite limits when it is representable and has a terminal object .
References
John Gray , The meeting of the Midwest Category Seminar in Zurich August 24–30, 1970 , Lecture Notes in Mathematics, vol 195. Springer 1971, pp. 254–255 (doi:10.1007%2FBFb0072315 )
Last revised on September 26, 2021 at 14:00:22.
See the history of this page for a list of all contributions to it.