Geometric constructions preserve fibrations

Bertfried Fauser, Steven Vickers

Let $\mathcal{C}$ be a representable 2-category, and ${\mathfrak{T}}_{\bullet }$ a 2-endofunctor of the arrow 2-category ${\mathcal{C}}^{\downarrow }$ such that (i) $\mathsf{cod} \mathfrak{T…