Geometric constructions preserve fibrations

Publication date 10 November 2014

Abstract: Let

m a t h c a l C

be a representable 2-category, and

a 2-endofunctor of the arrow 2-category

m a t h c a l C^{d} o w n a r r o w

such that (i)

and (ii)

preserves proneness of morphisms in

m a t h c a l C^{d} o w n a r r o w

. Then

preserves fibrations and opfibrations in

m a t h c a l C

. The proof takes Street's characterization of (e.g.) opfibrations as pseudoalgebras for 2-monads

m a t h f r a k L_{B}

on slice categories

m a t h c a l C / B

and develops it by defining a 2-monad

on

m a t h c a l C^{d} o w n a r r o w

that takes change of base into account, and uses known results on the lifting of 2-functors to pseudoalgebras.

This page was built for publication: Geometric constructions preserve fibrations