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

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Created claim: Wikidata QID (P12): Q56687261, #quickstatements; #temporary_batch_1710857717480
Property / Wikidata QID
 
Property / Wikidata QID: Q56687261 / rank
 
Normal rank

Revision as of 15:18, 19 March 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
    0 references
    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