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
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
cocomma
0 references
fibrations
0 references
2-category
0 references
partial product
0 references