Classifying Infinity Topoi via Weighted Limits

2025/12/17 by Di Liberti, Ivan, Meadows, Nicholas
Computer Science · Mathematics · #14A30 #18B25 #18N60 (primary) #55U40 #Advanced Topology and Set Theory #Algebraic Geometry (math.AG) #Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO) #Logic, programming, and type systems #O3G30

paper · doi:10.48550/arxiv.2512.15613

openalex publication_date 2025/12/17 · openalex created_date 2025/12/19 · openalex updated_date 2026/07/28

Abstract

We construct classifying ∞-topoi by showing that the (∞,2)-category of topoi has weighted limits. We show that several prestacks of interest have a classifying topos, including the prestack of spectra.

Citations

• Sketchable infinity categories
• Projective Space in Synthetic Algebraic Geometry
• Presentability and topoi in internal higher category theory
• Higher geometric sheaf theories
• Left-exact Localizations of ∞-Topoi II: Grothendieck Topologies
• Colimits and cocompletions in internal higher category theory
• Using the internal language of toposes in algebraic geometry
• On lax transformations, adjunctions, and monads in (∞,2)-categories
• Higher Lawvere theories
• An elementary and constructive proof of Grothendieck's generic freeness lemma
• The tangent bundle of a model category
• Noncommutative Motives I: A Universal Characterization of the Motivic Stable Homotopy Theory of Schemes
• The unification of Mathematics via Topos Theory
• Higher Topos Theory
• Quasi-categories and Kan complexes

Related

• On Infinity Topoi
• On (co)ends in ∞-categories
• (∞,n)-Limits II: Comparison across models
• ∞ -category and some applications on orbifolds
• Weighted limits in an (∞,1)-category