Fibred 2-categories and bicategories (Q393515): Difference between revisions

In the 1960s, Grothendieck defined a class of functors \(p:E\to B\) called fibrations. The idea that such a functor should represent a family of categories \(E_b\) parametrized by the \(b\in B\) was made explicit by his construction of a fibration from any pseudofunctor \(T: B^{\mathrm{op}}\to \mathrm{Cat}\); the construction is reversible, up to isomorphism, using choice. The present paper provides variants of this work in which categories are firstly replaced by 2-categories and secondly replaced by bicategories. As mentioned in the paper, other relevant work in this direction was done by \textit{C. Hermida} [J. Pure Appl. Algebra 134, No. 1, 83--109 (1999; Zbl 0935.18007)] and \textit{I. Bakovic} [``Fibrations of bicategories'', \url{http://www.irb.hr/korisnici/ibakovic/groth2fib.pdf}].