Contravariant Model Structures

• Contravariant model structures are cofibrantly generated frameworks that formalize right fibrations and final maps using a functorial cylinder construction.
• They provide a uniform approach to key constructions in simplicial sets, marked simplicial sets, and categorical analogues, bridging discrete and ∞-categorical theories.
• Key results include Quillen equivalences with functor categories and the homotopically coherent stability of (co)final and (co)proper maps under pullbacks.

A contravariant model structure is a class of cofibrantly generated model structures on a locally presentable category, formalizing the abstract homotopy theory of right fibrations and related morphism classes. Such model structures are determined by a functorial cylinder object whose directionality encodes contravariant behavior, and whose axiomatization allows for uniform treatment of key constructions (e.g., right fibrations, final maps) across contexts such as simplicial sets, marked simplicial sets, and categorical analogues. These structures were systematized in the work of Cisinski, Olschok, and Nguyen (Nguyen, 2019), and are deeply connected with projective model structures on presheaf categories, Quillen equivalence with functor categories, and the fundamental role of (co)finality and (co)properness in homotopy theory. Their 1-categorical analogues capture discrete and Grothendieck fibrations, as formalized in recent developments (Moser et al., 2023).

1. Formal Construction of Contravariant Model Structures

Let $\mathcal{C}$ be a locally presentable category, equipped with a cofibrantly generated weak factorization system $(\mathcal{L}, \mathcal{R})$, where every initial morphism $\emptyset \to X$ lies in $\mathcal{L}$. A functorial cylinder object is given by an endofunctor $I : \mathcal{C} \to \mathcal{C}$, natural transformations $$\partial_0, \partial_1: \operatorname{id}_\mathcal{C} \to I$$ (inducing a boundary inclusion), and a retraction $\sigma: I \to \operatorname{id}_\mathcal{C}$ so that for every $X$,

$$X \sqcup X \xrightarrow{\partial_0 \sqcup \partial_1} IX \xrightarrow{\sigma} X$$

is a cylinder object with $\partial_I \square X = X \sqcup X \to IX$ in $\mathcal{L}$. The cylinder must preserve all small colimits (exactness), and $$\partial_I \square j, \partial_0 \square j, \partial_1 \square j$$ all lie in $\mathcal{L}$ for $j \in \mathcal{L}$.

Given a generating set $\Lambda \subset \mathcal{L}$, the class of right $I$-anodyne extensions $\operatorname{An}^r(I)$ is the smallest saturated class containing $\Lambda$ and closed under $i \mapsto \partial_1 \square i$ $(i \in \mathcal{L})$ and $i \mapsto \partial_I \square i$ $(i \in \operatorname{An}^r(I))$. Morphisms with the right lifting property (RLP) against $\operatorname{An}^r(I)$ are called right $I$-fibrations.

The core statement (Nguyen–Cisinski–Olschok) is the existence of a cofibrantly generated model structure $r(I, \Lambda)$ on $\mathcal{C}$ satisfying:

• Cofibrations: $\mathcal{L}$.
• Fibrant objects: right $I$-fibrant objects ($X \to 1$ has RLP against $\operatorname{An}^r(I)$).
• Weak equivalences: $f: A \to B$ is a weak equivalence iff for every right $I$-fibrant $W$, the induced map $[B, W]_I \to [A, W]_I$ (homotopy classes modulo $I$-homotopy) is bijective.
• Fibrations between fibrant objects: right $I$-fibrations.

Key structural properties, including the recognition of trivial cofibrations as right $I$-anodyne extensions and the behavior of fibrations between fibrant objects, are proven from formal model category arguments (Nguyen, 2019).

2. Morphism Classes: Final, Initial, Proper, and Smooth Maps

Contravariant model structures axiomatize canonical morphism classes fundamental for homotopy theory:

• Final maps: $f: X \to Y$ is $I$-final if for all $p: Y \to A$, the induced map in the slice category $\mathcal{C}/A$ is a weak equivalence in the contravariant model structure.
• Initial maps: Dually, $I$-initial maps are weak equivalences in the corresponding covariant model structure.

For cofibrations $f \in \mathcal{L}$, $I$-finality is equivalent to being right $I$-anodyne ($f \in \operatorname{An}^r(I)$). For right $I$-fibrations $p$, $I$-finality coincides with belonging to $\mathcal{R}$, the right class of the original weak factorization system.

Canonical factorization properties ensure that every $I$-final map factors as a right $I$-anodyne map followed by a map in $\mathcal{R}$. Final maps enjoy right-cancellation.

A map $p: X \to Y$ is $I$-proper if, in any pullback square as below, the top map $j$ is final whenever $i$ is final: $$\begin{array}{ccc} A' & \xrightarrow{j} & X \ \downarrow & & \downarrow p \ A & \xrightarrow{i} & Y \end{array}$$ The dual notion is $I$-smoothness. In key examples, these correspond respectively to notions in the theories of Joyal, Cisinski, and Lurie (Nguyen, 2019).

3. Principal Examples: Simplicial Sets and Marked Simplicial Sets

Simplicial Sets

For $\mathcal{C} = \mathrm{sSet}$, the category of simplicial sets, with $\mathcal{L}$ as monomorphisms, the canonical cylinder $I(X) = \Delta^1 \times X$ with the two endpoint inclusions and projection defines the structure. Taking $\Lambda = \emptyset$, $\operatorname{An}^r(I)$ is the class generated by

$$\Delta^1 \times \partial \Delta^n \cup \{1\} \times \Delta^n \to \Delta^1 \times \Delta^n, \quad n \ge 0,$$

equivalently the right horn inclusions $\Lambda^n_k \to \Delta^n$ for $0 < k \le n$.

The resulting model structure on $\mathrm{sSet}/A$ has:

• Cofibrations: monomorphisms,
• Fibrant objects: right fibrations $X \to A$ with the RLP against each outer horn inclusion $\Lambda^n_k \to \Delta^n$ ($k > 0$),
• Weak equivalences: morphisms inducing bijections on $\pi_0$ of the spaces of sections into any right fibration over $A$.

This is Joyal’s right fibration model structure, and has left and right properness as well as combinatoriality (Nguyen, 2019, Moser et al., 2023).

Marked Simplicial Sets

In $\mathrm{sSet}^+$, the category of marked simplicial sets, cofibrations are underlying monomorphisms. The cylinder uses the cartesian product with $(\Delta^1)^\flat$ (the interval marked only at degenerate edges). Generators consist of inner horn inclusions and marking extensions. The resulting contravariant structure (Lurie’s Cartesian model structure) on $\mathrm{sSet}^+/(A,E_A)$ has:

• Cofibrant objects: marked monomorphisms,
• Fibrant objects: marked right fibrations (functors satisfying specific cartesian and marking conditions),
• Weak equivalences: Cartesian equivalences.

Dually, the coCartesian model structure corresponds to marked left fibrations (Nguyen, 2019).

4. 1-Categorical Analogues: Discrete and Grothendieck Fibrations

Contravariant model structures admit precise analogues in ordinary category theory.

• Cat/$\mathcal{C}$, Discrete Fibrations: Objects are functors $P:\mathcal{P}\to\mathcal{C}$. The model structure has all functors as cofibrations, discrete fibrations as fibrant objects, and weak equivalences (between fibrant objects) as isomorphisms over $\mathcal{C}$. There is a Quillen equivalence to the projective model structure on $[\mathcal{C}^{\mathrm{op}}, \mathrm{Set}]$, realized via the Grothendieck construction and its adjoint (Moser et al., 2023).
• Cat$^+$/$\mathcal{C}$, Marked Grothendieck Fibrations: Marked categories (pairs $(\mathcal{P}, E)$) over $\mathcal{C}$, where $E$ consists of cartesian morphisms. The marked anodyne generators enforce the lifting of cartesian morphisms. The marked Grothendieck construction yields a Quillen equivalence with the projective model structure on $[\mathcal{C}^{\mathrm{op}}, \mathrm{Cat}]$.

Both constructions fit into parallel commutative squares with their $\infty$-categorical analogues via nerve and straightening–unstraightening functors, establishing a strong formal analogy between 1-categorical and higher-categorical right fibration theory (Moser et al., 2023).

5. Quillen Equivalences and Functorial Comparison

Contravariant model structures feature a robust array of Quillen equivalences connecting them to functor categories:

• The (unmarked) contravariant model structure on $\mathrm{sSet}/A$ is Quillen equivalent to the projective model structure on $\mathrm{Fun}(A^{\mathrm{op}}, \mathrm{sSet})$, via Lurie’s straightening–unstraightening construction (Nguyen, 2019).
• The covariant model structure on $\mathrm{sSet}/A$ is Quillen equivalent to $\mathrm{Fun}(A, \mathrm{sSet})$.
• The Cartesian structure on $\mathrm{sSet}^+/(A, E_A)$ is Quillen equivalent to a projective model structure on $\mathrm{Fun}(A^{\mathrm{op}}, \mathrm{Cat}_\infty)$ via marked–unmarked straightening.

Commutative squares of Quillen reflections and equivalences link 1-categorical and $\infty$-categorical sites (nerve, Grothendieck constructions), rendering contravariant model structures central among the bridge between classical and higher category theory (Moser et al., 2023).

6. Homotopically Coherent Pullbacks and Stability Properties

A key property of contravariant model structures is the stable behavior of final and proper maps under pullback, reflecting a deeper homotopical coherence:

• If $i: K \to L$ is right-anodyne (i.e., $I$-final) and $p:X\to Y$ is a left fibration ($I$-smooth), then in any pullback, the map $K' \to X$ remains right-anodyne.
• In the simplicial set context, this fact substantiates the homotopy-coherent assertion that right fibrations are smooth over final maps, dual to the property that left fibrations are proper.
• Identical stability properties hold in the marked setting: Cartesian fibrations are smooth, coCartesian are proper.

This coherent stability under base change is a fundamental technical advantage, facilitating computations and transfer of fibrational structures in both categorical and higher categorical frameworks (Nguyen, 2019).

7. Synthesis and Relation to Broader Homotopy Theory

Contravariant model structures provide a unified formalism for right fibration theory, functor categories, and the abstract study of (co)finality and (co)properness. Their construction subsumes seminal structures of Joyal, Cisinski, and Lurie, and offers canonical bridges between discrete, 1-categorical, and $\infty$-categorical settings. The approach encapsulates standard homotopy invariance phenomena and enables systematic Bousfield localizations, preserving equivalences of mapping spaces and key fibrations.

Both the theory and its analogues in marked categories interact compatibly with Quillen equivalences, reflecting a persistent duality with covariant model structures and their left fibration counterparts. Ongoing research examines extensions and further comparability (e.g., to Segal-type objects) and explores computational refinements in low-dimensional and categorical contexts (Nguyen, 2019, Moser et al., 2023).