Fibrations and partial products in a 2-category (Q1320326)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Fibrations and partial products in a 2-category
scientific article

    Statements

    Fibrations and partial products in a 2-category (English)
    0 references
    0 references
    19 April 1994
    0 references
    This stimulating paper provides a new definition of fibrations in a 2- category and deduces some of their properties; it is shown that the new definition is equivalent to the reviewer's in the presence of finite limits in the 2-category. An interesting new condition (PCC) on such a fibration is introduced: while it is automatic for fibrations in some naturally occurring 2-categories, it is essential for the good behaviour of Johnstone's extension into 2-categories of the so-called notion of partial product. The paper interprets its general definitions and results in the 2-categories of categories and of elementary toposes. The need for the paper was created by the author's work on bagdomains in computer science which particularly relates to the elementary topos example.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    cocomma
    0 references
    fibrations
    0 references
    2-category
    0 references
    partial product
    0 references
    0 references
    0 references