Definitions
Transfors between 2-categories
Morphisms in 2-categories
Structures in 2-categories
Limits in 2-categories
Structures on 2-categories
Historically, a 2-category is representable when it admits 2-pullbacks and powers with the interval category. A 2-category has finite limits when it is representable and has a terminal object.
In particular, a 2-category with comma objects and 2-pullbacks is representable in this sense.
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)
Ross Street, Fibrations and Yoneda’s lemma in a 2-category, Lecture Notes in Mathematics, Vol. 420, 1974, pp. 104–133. [doi:10.1007/BFb0063102]
Last revised on September 5, 2024 at 06:54:38. See the history of this page for a list of all contributions to it.