Classifying Topos in Categorical Logic

• Classifying topos is a Grothendieck topos defined by its universal property, where geometric morphisms correspond bijectively to models of the underlying geometric theory.
• Construction techniques involve syntactic presentations and Grothendieck topologies, integrating approaches from arithmetic universes, presheaf, and sheaf toposes.
• Its applications span categorical logic, Galois theory, and moduli problems, providing a unified framework connecting logic, geometry, and cohomology.

A classifying topos is a Grothendieck topos that serves as a universal object representing models of a geometric (or more generally, an internal geometric or arithmetic universe) theory. The essence of a classifying topos is its universal property: geometric morphisms into the topos correspond precisely, via pullback of the generic model, to models of the theory in the source topos. This construction unifies logic, higher category theory, and geometry, and generalizes both in the algebraic and homotopical settings. The theory of classifying toposes encompasses categorical logic, arithmetic universes, topos-theoretic Galois theory, and connections with group schemes and cohomology.

1. Fundamental Definitions and Universal Property

A classifying topos for a (possibly infinitary) geometric theory $T$ in a language $\mathcal{L}$ is a Grothendieck topos $\mathcal{E}_T$ equipped with a generic $T$-model $M$, such that for every Grothendieck topos $\mathcal{F}$, the equivalence

$${\rm Geom}(\mathcal{F},\mathcal{E}_T) \simeq {\rm Mod}_T(\mathcal{F})$$

holds (the functor sends $f:\mathcal{F}\to\mathcal{E}_T$ to $f^*M$) (Berni et al., 2018). The theory of classifying toposes internalizes over a base topos $\mathcal{E}$: for an internal geometric theory $\mathbb{T}$, the classifying topos $\mathcal{E}[\mathbb{T}]$ is an $\mathcal{E}$-topos such that models of $\mathbb{T}$ in any $\mathcal{F}\to\mathcal{E}$ correspond to geometric morphisms over $\mathcal{E}$ (Henry, 2013). The concept generalizes to arithmetic universes (AU) via base-change, with context sketches and pseudopullbacks representing the "bundle" of classifying toposes over different strict models and bases (Vickers, 2017).

The syntactic construction of a classifying topos uses the site of finite contexts (presentations), or more generally the syntactic (context) category for the given theory, equipped with a Grothendieck topology generated by the theory's axioms. The universal model is the Yoneda embedding of the generic presentation (Berni et al., 2018, Vickers, 2017, Henry, 2013).

2. Construction Techniques: Arithmetic Universes, Presheaf, and Sheaf Toposes

For "arithmetic universes," a context $T$ is a finitely presented sketch for a list arithmetic pretopos (AU). The 2-category of contexts $\mathrm{Con}$ comprises such sketches, morphisms by context-maps (strict AU-homomorphisms, extensions, inverting equivalence extensions), and 2-cells by natural transformations modulo object equality. Each context $T$ has a classifying AU $\mathcal{T}$, fully functorial in $\mathrm{Con}^{op}$ (Vickers, 2017).

Given a context extension $T_0 \subset T_1$ (by finite addition of universals, objects, morphisms), for any base topos $S$ with NNO and strict $T_0$-model $M$, one constructs the geometric theory $T_1/M$ over $S$. By B4.2.11 ("the Elephant"), every elementary topos with an NNO admits all classifying toposes for such theories; the resulting $S$-topos $S[T_1/M]$ has a universal property for geometric morphisms $E \to S$ and corresponding $T_1$-models in $E$ restricting along $U$ to $f^*M$ (Vickers, 2017).

Presheaf-type theories are the classifying toposes of cartesian, algebraic, or Horn theories, and are realized as presheaf toposes $[\mathcal{C}, \Set]$ on a small category $\mathcal{C}$ of finitely presentable models or contexts (Hutzler, 2022). Extensions via axioms or new constants preserve presheaf type if only finitely many are added (Hutzler, 2022). For quotients or additional axioms, the induced Grothendieck topology is controlled via "sieves" corresponding to the new axioms.

3. Key Theorems and Structural Properties

Geometricity and Pullback

For a context extension $T_0 \subset T_1$, base topos $S$ with NNO, strict $T_0$-model $M$, and geometric morphism $f: S' \to S$, there is a canonical pseudopullback isomorphism

$S'[T_1/f^*M] \cong S[T_1/M] \times_S S'$

This ensures the construction of classifying toposes is geometric—functorial under base change. The universal property gives, for every bounded geometric morphism $f : E\to S$,

$$Geom/S(E, S[T_1/M]) \simeq \{ T_1\text{-models in } E \text{ with } U\text{-reduct } f^*M \}$$

(Vickers, 2017).

Universal Representing Object

The universal property can be phrased: given a Grothendieck fibration $P: \mathcal{E} \to \mathcal{C}$, an object $x$ in the fiber over $c$ is representing if every $y$ has a $P$-cartesian arrow $y \to x$ and these are terminal in $\mathcal{E}(y, x)$ (Vickers, 2017).

Site and Syntactic Presentations

The classifying topos of a geometric theory can be realized as $\Sh(\mathcal{C}, J)$ where $\mathcal{C}$ is the syntactic or context category, and $J$ is the Grothendieck topology generated by the theory's axioms (Berni et al., 2018, Hutzler, 2022). For quotient theories, subcategories of compact models (e.g., presheaf-type) yield subtoposes (Caramello et al., 2014).

4. Examples, Applications, and Computations

Examples in Arithmetic Universes

• Adding a global generic element: The context extension from $O$ (with node $X$) to $O[x]$ (adding $x:1 \to X$) classifies the slice topos $S[X] \to S$ (Vickers, 2017).
• Bundles of classifiers: For a fixed $(S, M)$, the fiber of the "bundle" over it is $S[T_1/M]$.

Algebraic Theories and $C^\infty$-rings

• The theory of $C^\infty$-rings is classified by $\Sets^{C^\infty\mathrm{Rng}_{\mathrm{fp}}^{op}}$; the generic model $R$ assigns $A \mapsto \Hom(C^\infty(\mathbb{R}), A) \cong A$ (Berni et al., 2018).
• The smooth Zariski topos $\mathcal{Z}^\infty$ classifies local $C^\infty$-rings; the structure sheaf $\mathcal{O}$ is the generic local $C^\infty$-ring, with the topology generated by localizations $A \to A\{a^{-1}\}$ (Berni et al., 2018).

Non-geometric Theories

For logics beyond geometric (sub-first-order, first-order, Boolean/classical), the existence and structure of classifying toposes depend on local smallness: for $T$ locally small in $L_{\infty,\omega}$, $Set[T]=\Sh(Syn_\kappa(T), J_\kappa)$. Boolean classifying toposes represent models of $T$ in Boolean toposes (Kamsma, 2023).

Group Schemes and Galois Toposes

• For a group scheme $G$ over a scheme $Y$, the classifying topos $BG$ of $G$ is the topos of sheaves with a $G$-action on $\Sh(Sch/Y)_{\mathrm{fppf}}$ (Cassou-Noguès et al., 2013).
• The cohomology $H^i(BG, A)$ computes the classifying topos cohomology with coefficients in $A$.
• For $BO(q)$, cohomology is calculated as a polynomial ring $A[HW_1(q), \dots, HW_n(q)]$ with canonical generators given by universal Hasse-Witt classes, and explicit formulas for characteristic classes such as $\det[q]$ and $[C_q]$ (Cassou-Noguès et al., 2013).

5. Fibrational, Infinity-categorical, and Galois Structures

Fibrational and Indexed Construction

The classifying topos can be viewed as a representing object of an indexed category over a 2-category such as $GTop$, the 2-category of bounded geometric morphisms. The "bundle of classifying toposes" construction is naturally fibred over both the base topos (varying strict models) and over the category of toposes with NNO, exhibiting local representability (Vickers, 2017).

Infinity-topoi and Weighted Limits

In $(\infty,2)$-topos theory, a classifying $\infty$-topos for a prestack $F : Top^{op} \to Cat_\infty$ is an object $X_F$ such that $\mathrm{Map}_{Top}(E, X_F) \cong F(E)$ for every $\infty$-topos $E$. Classifying $\infty$-topoi arise via weighted limits in the $(\infty,2)$-category of $\infty$-topoi. This machinery applies to theories given by geometric sketches, Lawvere theories, spectra, etc. (Liberti et al., 17 Dec 2025).

Profinite Fundamental Groups

The classifying topos of a connected, finitely-generated Grothendieck topos with a "Galois point" is equivalent to the classifying topos of its profinite fundamental group, $\mathrm{B} \pi_1(\mathcal{E}, p)$, unifying Galois theory and covering theory (Berger et al., 2023).

6. Comparison with Other Notions and Limitations

The arithmetic universe (AU) approach provides canonical strictness, functoriality under base change, and a uniform fibrational perspective, differing from the standard geometric logic approach that builds classifying toposes via sites of syntactic data and external colimits (Vickers, 2017).

Hypotheses for existence:

• Base topos $S$ must admit a natural numbers object for the existence of object classifiers (Vickers, 2017).
• The extension $T_0 \subset T_1$ should be a context extension (finitely many steps); arbitrary context maps do not necessarily yield classifiers.

Presheaf type is robust under certain extensions (adding finitely many new axioms, constants, or negated axioms), but fragile under infinite (countably many) new constants or positive-algebraic axioms (Hutzler, 2022).

7. Applications and Broader Significance

Classifying toposes serve as universal spaces for moduli problems (torsors, bundles), underlie Galois theory and Tannakian duality, capture the structure of filtered objects (e.g., in synthetic guarded domain theory (Palombi et al., 2022)), and constitute the main bridge between syntactic theories and their semantic representations in topos theory. Their abstract conceptualization via fibrations, higher categories, and weighted limits further extends the reach of categorical logic into homotopical and derived settings, consolidating their foundational importance in categorical mathematics.