An isofibration is a functor p:EBp:E\to B such that for any object eEe\in E and any isomorphism ϕ:p(e)b\phi:p(e) \cong b, there exists an isomorphism ψ:ee\psi:e \cong e' such that p(ψ)=ϕp(\psi)=\phi.

e ψp 1(ϕ) e E p p(e) ϕ b B. \array{ e &\stackrel{\exists \psi \in p^{-1}(\phi)}{\to} & \exists e'&&& E \\ &&&&& \downarrow^p \\ p(e) &\stackrel{\phi}{\to} & b &&& B } \,.

If pp is a forgetful functor, then being an isofibration says that whatever stuff pp forgets can be “transported along isomorphisms.”

Notice that this definition of isofibration violates the 1-categorical principle of equivalence where it demands that p(ψ)=ϕp(\psi)=\phi (which includes the requirement that p(e)=bp(e') = b): this condition is not invariant under equivalence of categories. If one changed the definition to involve just an isomorphism p(ψ)ϕp(\psi)\cong\phi, then of course, any functor would qualify. But the point of isofibrations is rather to help present the (2,1)-category of categories/groupoids in terms of 1-categorical data. For more on this see below at As fibrations in canonical model structures.



Isofibrations have a number of good properties. For example, any strict pullback of an isofibration is also a weak pullback. (This is also explained by the role of isofibrations as the fibrations in the canonical model structures, see below.)

Any Grothendieck fibration or opfibration is an isofibration, but not conversely (unless BB is a groupoid).

As fibrations in canonical model structures

The isofibrations are the fibrations in the canonical model structure on categories and the canonical model structure on groupoids. More generally, the fibrations in canonical model structures on various types of higher categories are usually some generalization of isofibrations. For example, the fibrations in the Lack model structure on 2-Cat have “equivalence lifting” and “local isomorphism lifting,” and the fibrations in the Joyal model structure for quasicategories have “equivalence lifting” at all levels.

Generalizing in another direction, internalized isofibrations are the fibrations in the 2-trivial model structure on any finitely complete and cocomplete strict 2-category.


For groupoids the definition appears (called “star surjectivity” there) on p. 105 (3 of 30) in

Last revised on August 26, 2018 at 23:40:36. See the history of this page for a list of all contributions to it.