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

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, sometimes known as Lack fibrations 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 July 4, 2020 at 11:10:15. See the history of this page for a list of all contributions to it.