nLab isofibration

Contents

Idea

An isofibration is, roughly speaking, a functor F:EBF: E \rightarrow B between categories such that every isomorphism ff in BB can be ‘lifted’ to an isomorphism in EE. Here ‘lifted’ means that there is an isomorphism gg in EE such that F(g)=fF(g) = f.

Alternatively, an isofibration is the analogue of a Hurewicz fibration for the interval object in Cat\mathsf{Cat}, the category of categories, given by the free-standing isomorphism. That this definition is equivalent to the former one will be established below.

It is the second of these definitions that often generalises better to higher categories.

Definition

Definition

An isofibration is a functor p:EBp:E\to B such that for any object ee of EE 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.

Remark

Equivalently: for any commutative diagram

in Cat\mathsf{Cat}, where II is the free-standing isomorphism, there is a functor l:IEl: I \rightarrow E such that the following diagram in Cat\mathsf{Cat} commutes.

Remark

We can picture this as follows.

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 } \,.

Remark

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

Remark

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.

Equivalent definition

The following may at first seem a little surprising. It says that isofibrations have in fact a stronger lifting property, namely the analogue of that of a Hurewicz fibration with respect to the interval object in Cat\mathsf{Cat} given by the interval groupoid. This stronger lifting property is more conceptually fundamental with regard to finding the correct generalisation of isofibrations to higher categories, where ‘correct’ refers for instance to defining the fibrations of a model structure.

Proposition

Let p:EBp: E \rightarrow B be a functor between categories. Then pp is an isofibration if and only if for every commutative diagram

in Cat\mathsf{Cat}, where II is the free-standing isomorphism, there is a functor l:X×IEl: X \times I \rightarrow E such that the following diagram in Cat\mathsf{Cat} commutes.

Proof

The “only if” direction is immediate. Let us demonstrate that the “if” direction holds by constructing ll. To this end, for any object xx of XX, let l xl_{x} be the unique functor such that the following diagram in Cat\mathsf{Cat} commutes, which exists since pp is an isofibration.

Here ϕ x\phi_{x} is the functor representing the isomorphism g(x,i)g(x, i) of BB, where ii is the arrow 010 \rightarrow 1 of II.

  • For any object xx of XX, we define l(0)l(0) to be f(x)f(x), define l(x,i)l(x, i) to be l x(i)l_{x}(i), define l(x,i 1)l\left(x,i^{-1}\right) to be l x(x 1)l_{x}\left(x^{-1}\right), and define l(1)l(1) to be l x(1)l_{x}(1).
  • For any arrow r:xxr: x \rightarrow x' of XX, we define l(r,0)l(r,0) to be f(r)f(r), and define l(r,1)l(r, 1) to be l x(i)f(r)l x(i 1)l_{x'}(i) \circ f(r) \circ l_{x}\left(i^{-1}\right).

It is immediately checked that ll is well-defined, is indeed a functor, and fits into the required commutative diagram.

Properties

General

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.)

Example

Any Grothendieck fibration or opfibration is an isofibration (take the lifts to be the Cartesian lifts), but not in general conversely, unless BB is a groupoid.

Example

For groupoids ,\mathcal{E}, \mathcal{B} \,\in\, Grpd, a functor P:P \,\colon\, \mathcal{E} \to \mathcal{B} the following are equivalent:

  1. PP is a Grothendieck fibration,

  2. PP is an isofibration.

Proof

The implication IsoFibGrothFibIsoFib \Rightarrow GrothFib is Ex. .

Conversely, if PP is an isofibration, it is sufficient to show that any of the lifts ff it provides is a Cartesian morphism. But by assumption the lift is again an isomorphism, and all isomorphisms are Cartesian.

More explicitly (in the notation there) the invertibility of all morphisms implies that both ww and ww' are uniquely determined by ff and gg, and then functoriality of PP implies that indeed P(w^)=wP(\widehat{w}) = w.

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, known as equifibrations, 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.

References

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

Last revised on December 4, 2023 at 21:18:13. See the history of this page for a list of all contributions to it.