Flexible limits for 2-categories (Q1262939): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
RedirectionBot (talk | contribs)
Removed claims
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
    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

    Identifiers