Flexible limits for 2-categories (Q1262939): Difference between revisions
From MaRDI portal
Removed claims |
Changed an Item |
||
Property / author | |||
Property / author: Gregory J. Bird / rank | |||
Normal rank | |||
Property / author | |||
Property / author: A. John Power / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Ross H. Street / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Ross H. Street / rank | |||
Normal rank |
Revision as of 21:28, 19 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Flexible limits for 2-categories |
scientific article |
Statements
Flexible limits for 2-categories (English)
0 references
1989
0 references
When looking at elements of a set, the primitive notion of ``sameness'' is equality. When working within a category, isomorphic objects are considered the same. However, categories themselves are considered the same when they are equivalent. Thus, the constructions within a 2- category which are of interest are those stable under equivalence. In particular, this applies to limits. Thus the appropriate limits for a 2- category are the weighted bilimits of the reviewer [``Fibrations in bicategories'', Cah. Topologie Géom. Différ. 21, 111-159 (1980; Zbl 0436.18005); Correction, ibid. 28, 53-56 (1987; Zbl 0622.18005)]. However, it quite often happens that certain limits in a 2-category can be constructed with the stricter universal property that determines them up to isomorphism, not just equivalence. When this occurs it is possible to make use of this extra precision to avoid carrying around the extra baggage of coherence. The flexible limits defined here are of the stricter kind, yet provide instances of the corresponding bilimit; a 2-category which admits small flexible limits automatically admits small bilimits. Equalizers and pullbacks are not flexible, while comma objects are. Furthermore, flexible limits have a reasonable theory, they exist in a large class of 2-categories which includes many important examples, and the third author has proved that every bicategory with finite bilimits is biequivalent to a 2-category with finite flexible limits.
0 references
pseudo-limit
0 references
indexed limit
0 references
2-category
0 references
weighted bilimits
0 references
flexible limits
0 references