nLab inner fibration

Context

$\left(\infty ,1\right)$-Category theory

(∞,1)-category theory

Contents

Idea

The notion of inner fibration of simplicial sets is one of the notion of fibrations of quasi-categories.

When the notion of (∞,1)-category is incarnated in terms of the notion of quasi-category, an inner fibration is a morphism of simplicial sets $C\to D$ such that each fiber is a quasi-category and such that over each morphism $f:{d}_{1}\to {d}_{2}$ of $D$, $C$ may be thought of as the cograph of an (∞,1)-profunctor ${C}_{{d}_{1}}⇸{C}_{{d}_{2}}$.

So when $D=*$ is the point, an inner fibration $C\to *$ is precisely a quasi-category $C$.

And when $D=N\left(\Delta \left[1\right]\right)$ is the nerve of the interval category, an inner fibration $C\to \Delta \left[1\right]$ may be thought of as the cograph of an (∞,1)-profunctor $C⇸D$.

This $\left(\infty ,1\right)$-profunctor comes form an ordinary (∞,1)-functor $F:C\to D$ precisely if the inner fibration $K\to \Delta \left[1\right]$ is even a coCartesian fibration. And it comes from a functor $G:D\to C$ precisely if the fibration is even a Cartesian fibration. This is the content of the (∞,1)-Grothendieck construction.

And precisely if the inner fibration/cograph of an $\left(\infty ,1\right)$-profunctor $K\to \Delta \left[1\right]$ is both a Cartesian as well as a coCartesian fibration does it exhibit a pair of adjoint (∞,1)-functors.

Definition

A morphism of simplicial sets $f:X\to S$ is an inner fibration or inner Kan fibration if its has the right lifting property with respect to all inner horn inclusions, i.e. if for all commuting diagrams

$\begin{array}{ccc}\Lambda \left[n{\right]}_{i}& \to & X\\ ↓& & {↓}^{F}\\ \Delta \left[n\right]& \to & Y\end{array}$\array{ \Lambda[n]_i &\to& X \\ \downarrow && \downarrow^{\mathrlap{F}} \\ \Delta[n] &\to& Y }

for $0 there exists a left

$\begin{array}{ccc}\Lambda \left[n{\right]}_{i}& \to & X\\ ↓& ↗& {↓}^{F}\\ \Delta \left[n\right]& \to & Y\end{array}\phantom{\rule{thinmathspace}{0ex}}.$\array{ \Lambda[n]_i &\to& X \\ \downarrow &\nearrow& \downarrow^{\mathrlap{F}} \\ \Delta[n] &\to& Y } \,.

The morphisms with the left lifting property against all inner fibrations are called inner anodyne.

Properties

General properties

Remark

By the small object argument we have that every morphism $f:X\to Y$ of simplicial sets may be factored as

$f:X\to Z\to Y$f : X \to Z \to Y

with $X\to Z$ a left/right/inner anodyne cofibration and $Z\to Y$ accordingly a left/right/inner Kan fibration.

References

Inner fibrations were introduced by Andre Joyal. A comprehensive account is in section 2.3 of

Their relation to cographs/correspondence is discussed in section 2.3.1 there.

Revised on February 11, 2013 02:13:18 by Urs Schreiber (89.204.137.65)