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

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.