Definitions
Transfors between 2-categories
Morphisms in 2-categories
Structures in 2-categories
Limits in 2-categories
Structures on 2-categories
The local cocompletion of a bicategory is the hom-category-wise free cocompletion of . Abstractly, this can be seen as a change of base for bicategories enriched in a monoidal bicategory, along the left pseudoadjoint from the 2-category of categories to the 2-category of cocomplete categories.
Max Kelly, A. Labella, V. Schmitt, Ross Street, ยง5 of: Categories enriched on two sides, Journal of Pure and Applied Algebra 168 1 (2002) 53-98 [doi:10.1016/S0022-4049(01)00048-2]
Richard Garner, Mike Shulman: Enriched categories as a free cocompletion [arXiv:1301.3191]
Last revised on August 20, 2025 at 17:14:49. See the history of this page for a list of all contributions to it.