Definitions
Transfors between 2-categories
Morphisms in 2-categories
Structures in 2-categories
Limits in 2-categories
Structures on 2-categories
(Power) Any bicategory with finite bilimits is equivalent to a strict 2-category with finite flexible limits.
Let be a bicategory with finite bilimits, let be its Yoneda embedding, and let be the closure of in under finite flexible limits. Since is a strict 2-category with finite flexible limits, so is . And since has finite bilimits, and these are preserved by its Yoneda embedding, while flexible limits are in particular bilimits, every object of is equivalent to an object of . Thus, .
Last revised on August 14, 2017 at 04:41:31. See the history of this page for a list of all contributions to it.