Higher Topos Theory (AM-170)

DOI10.1515/9781400830558zbMath1175.18001arXivmath/0608040OpenAlexW2494316805WikidataQ19572089 ScholiaQ19572089MaRDI QIDQ5505172

Jacob Lurie

Publication date: 26 January 2009

Full work available at URL: https://arxiv.org/abs/math/0608040

zbMATH Keywords

cohomology groups simplicial set homotopy theory model category $\infty$-category Grothendieck topos geometric topology $n$-type $n$-stack $\infty$-topos Giraud's theorem $n$-gerbe higher-order category theory

Mathematics Subject Classification ID

Topoi (18B25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Research exposition (monographs, survey articles) pertaining to category theory (18-02)

Related Items

$t$-structures are normal torsion theories, On the homotopy type of higher orbifolds and Haefliger classifying spaces, Noncommutative mixed (Artin) motives and their motivic Hopf dg algebras, Derived Hom spaces in rigid analytic geometry, Microlocal category for Weinstein manifolds via the h-principle, Weighted limits in an $(\infty, 1)$-category, Derived gluing construction of chiral algebras, Quadratic forms and Clifford algebras on derived stacks, A Quillen model category structure on some categories of comonoids, Higher analytic stacks and GAGA theorems, On the equivalence between Lurie's model and the dendroidal model for infinity-operads, Singular chains on topological stacks. I., Logical systems. I: Internal calculi., Spectral Mackey functors and equivariant algebraic $K$-theory. I., On the exactness of products in the localization of (Ab.$4^{\ast}$) Grothendieck categories, Fibrations and Yoneda's lemma in an $\infty$-cosmos, Residue fields for a class of rational $\mathbf E_{\infty}$-rings and applications, The six operations in equivariant motivic homotopy theory, Nilpotence and descent in equivariant stable homotopy theory, Formality theorem and bialgebra deformations, Towers and fibered products of model structures, Shifted symplectic structures, On some finiteness questions for algebraic stacks, Preorientations of the derived motivic multiplicative group, Comparison of models for $(\infty , n)$-categories. I, A Thomason model structure on the category of small $n$-fold categories, The fundamental pro-groupoid of an affine 2-scheme, Algebraic weak factorisation systems. I: Accessible AWFS., Algebraic weak factorisation systems. II: Categories of weak maps., Colocalizations of noncommutative spectra and bootstrap categories, Regulators and cycle maps in higher-dimensional differential algebraic $K$-theory, Orlov spectra as a filtered cohomology theory, Toward weakly enriched categories: co-Segal categories, Homotopy coherent adjunctions and the formal theory of monads, Lifting homotopy $T$-algebra maps to strict maps, Rigidification of quasi-categories, Mapping spaces in quasi-categories, Duality and small functors, Differential graded Lie algebras controlling infinitesimal deformations of coherent sheaves, Chiral Koszul duality, Compactly generated stacks: a Cartesian closed theory of topological stacks, Higher cohomologies of modules, Motivic twisted $K$-theory, Delta-discrete $G$-spectra and iterated homotopy fixed points, Derived Azumaya algebras and generators for twisted derived categories, Twisted differential string and fivebrane structures, Enriched weakness, Homotopical resolutions associated to deformable adjunctions, On an extension of the notion of Reedy category, $K$-theory and the bridge from motives to noncommutative motives, Coniveau spectral sequence and $t$-structure homotopy, Ribbon graphs and mirror symmetry, The $T$-algebra spectral sequence: comparisons, A quadratic refinement of the Grothendieck-Lefschetz-Verdier trace formula, Cohomology of exact categories and (non-)additive sheaves, Operads of genus zero curves and the Grothendieck-Teichmüller group, Derived algebraic geometry, Principal $\infty$-bundles: presentations, Rectification of enriched $\infty$-categories, Completed power operations for Morava $E$-theory, Quasi-unital $\infty$-categories, (Op)lax natural transformations, twisted quantum field theories, and ``even higher Morita categories, Local structures on stratified spaces, Higher Toda brackets and Massey products, Factorization homology of stratified spaces, Higher traces, noncommutative motives, and the categorified Chern character, Families of Legendrian submanifolds via generating families, Symmetric monoidal noncommutative spectra, strongly self-absorbing $C^*$-algebras, and bivariant homology, The Picard group of topological modular forms via descent theory, $E_n$-cell attachments and a local-to-global principle for homological stability, Bousfield localization and algebras over colored operads, Weyl $n$-algebras, Motivic homotopical Galois extensions, Discrete $G$-spectra and embeddings of module spectra, Frobenius and the derived centers of algebraic theories, Sylow theorems for $\infty$-groups, Univalence in locally Cartesian closed categories, Étale twists in noncommutative algebraic geometry and the twisted Brauer space, From homotopy operads to infinity-operads, Enriched simplicial presheaves and the motivic homotopy category, Dold-Kan correspondence for dendroidal Abelian groups, Central extensions of smooth 2-groups and a finite-dimensional string 2-group, Algebraic models for higher categories, Functors (between $\infty $-categories) that aren't strictly unital, Hammocks and fractions in relative $\infty $-categories, Crossed simplicial group categorical nerves, Decomposition spaces, incidence algebras and Möbius inversion. III: The decomposition space of Möbius intervals, A spectrum-level Hodge filtration on topological Hochschild homology, Moduli stacks of algebraic structures and deformation theory, Three lectures on derived symplectic geometry and topological field theories, Derived schemes and the field with one element, Linear Yang-Mills theory as a homotopy AQFT, On modules over motivic ring spectra, The intrinsic formality of $E_n$-operads, An extension of Quillen's theorem B, Parameterization of factorizable line bundles by $K$-theory and motivic cohomology, Definability and approximations in triangulated categories, $K$-theoretic Tate-Poitou duality and the fiber of the cyclotomic trace, Differential cohomology theories as sheaves of spectra, Abstract representation theory of Dynkin quivers of type $A$, Quantum character varieties and braided module categories, From gauge to higher gauge models of topological phases, Derived Koszul duality and $\mathsf{TQ}$-homology completion of structured ring spectra, How to glue derived categories, Degeneracies in quasi-categories, Homotopy (pre)derivators of cofibration categories and quasicategories, Local complete Segal spaces, Enhancing the filtered derived category, Decomposition spaces, incidence algebras and Möbius inversion. I: Basic theory, The Beilinson regulator is a map of ring spectra, Factorization homology. I: Higher categories, Decomposition spaces, incidence algebras and Möbius inversion. II: Completeness, length filtration, and finiteness, Six operations on dg enhancements of derived categories of sheaves, Tangent Lie algebra of derived Artin stacks, Secondary power operations and the Brown-Peterson spectrum at the prime $2$, Iterated spans and classical topological field theories, Primary operations in differential cohomology, Local duality in algebra and topology, The factorization theory of Thom spectra and twisted nonabelian Poincaré duality, On the commutative algebra of categories, Profinite completion of operads and the Grothendieck-Teichmüller group, On conjugates and adjoint descent, Lax colimits and free fibrations in $\infty$-categories, Loop group actions on categories and Whittaker invariants, An integral model structure and truncation theory for coherent group actions, Bousfield localisations along Quillen bifunctors, Integral transforms for coherent sheaves, The motivic Steenrod algebra in positive characteristic, Derived 2-functors in (2-SGp), Principal $\infty $-bundles: general theory, On autoequivalences of the $(\infty,1)$-category of $\infty$-operads, Contractibility of the space of rational maps, Cellular objects and Shelah's singular compactness theorem, Derivators, pointed derivators and stable derivators, Algebraic $K$-theory and descent for blow-ups, Descent for $n$-bundles, Poisson bivectors and Poisson brackets on affine derived stacks, Derived Galois deformation rings, The semi-infinite intersection cohomology sheaf, Derived moduli of complexes and derived Grassmannians, Derived sections of Grothendieck fibrations and the problems of homotopical algebra, The non-equivariant coherent-constructible correspondence and a conjecture of King, An étalé space construction for stacks, Higher Galois theory, Waldhausen $K$-theory of spaces via comodules, Tilting theory for trees via stable homotopy theory, A Quillen's Theorem A for strict $\infty$-categories. I: The simplicial proof, Klein-Weyl's program and the ontology of gauge and quantum systems, Univalent foundations as structuralist foundations, Simplicial presheaves of coalgebras, A universal characterization of higher algebraic $K$-theory, The enriched Grothendieck construction, Cubical rigidification, the cobar construction and the based loop space, Topological cyclic homology via the norm, Poincaré/Koszul duality, How strict is strictification?, Higher Kac-Moody algebras and moduli spaces of $G$-bundles, A regulator for smooth manifolds and an index theorem, Affine Grassmannians in $\mathbb{A}^1$-homotopy theory, A stratified homotopy hypothesis, On (co)ends in $\infty$-categories, On the extended Whittaker category, $K$-theoretic obstructions to bounded $t$-structures, A multiplicative comparison of Mac Lane homology and topological Hochschild homology, Stability conditions in families, 2-Segal objects and the Waldhausen construction, Relative 2-Segal spaces, Massey products in differential cohomology via stacks, Incidence bicomodules, Möbius inversion and a Rota formula for infinity adjunctions, Derived non-Archimedean analytic spaces, The index map in algebraic $K$-theory, Linear Batalin-Vilkovisky quantization as a functor of $\infty $-categories, Brane actions, categorifications of Gromov-Witten theory and quantum $K$-theory, From operator categories to higher operads, Equivariant dendroidal sets, The stack of Yang-Mills fields on Lorentzian manifolds, On the relation between K- and L-theory of $C^*$-algebras, The $A_\infty$-structure of the index map, Extending to a model structure is not a first-order property, Spectral Mackey functors and equivariant algebraic $K$-theory. II., Parametrized spectra, multiplicative Thom spectra and the twisted Umkehr map, Higher enveloping algebras, A note on the $(\infty,n)$-category of cobordisms, Higher cyclic operads, Homotopy theory of algebraic quantum field theories, On the Grothendieck construction for $\infty$-categories, Derived Azumaya algebras and twisted $K$-theory, Stabilization of derivators revisited, The Dold-Thom theorem via factorization homology, On Drinfeld's DG quotient, Khovanov homotopy type, Burnside category and products, Boardman's whole-plane obstruction group for Cartan-Eilenberg systems, Derived smooth manifolds, Flat base change formulas for $(\mathfrak{g}, K)$-modules over Noetherian rings, Derived coisotropic structures. I: Affine case, Derived coisotropic structures. II: Stacks and quantization, The homotopy theory of type theories, Tilting theory via stable homotopy theory, The algebraic chromatic splitting conjecture for Noetherian ring spectra, On inner Kan complexes in the category of dendroidal sets, Theorem A for marked 2-categories, Algorithmic canonical stratifications of simplicial complexes, $\infty$-operads via symmetric sequences, $K$-theory of locally compact modules over orders, An isovariant Elmendorf's theorem, The theory of half derivators, Exponentiable Grothendieck categories in flat algebraic geometry, Ambidexterity in chromatic homotopy theory, General facts on the Scott adjunction, Loday constructions on twisted products and on tori, Stable homotopy hypothesis in the Tamsamani model, An infinity operad of normalized cacti, Toric mirror symmetry revisited, Adams' cobar construction revisited, Algebraic cobordism and étale cohomology, A universal Hochschild-Kostant-Rosenberg theorem, Dualizing spheres for compact $p$-adic analytic groups and duality in chromatic homotopy, Gluing pseudo functors via $n$-fold categories, Model structures on commutative monoids in general model categories, Quasicategories of frames of cofibration categories, Scheiderer motives and equivariant higher topos theory, The incidence comodule bialgebra of the Baez-Dolan construction, The cotangent complex and Thom spectra, Homological stability and densities of generalized configuration spaces, The tangent complex of $K$-theory, Applications to $\mathbb{A}^1$-enumerative geometry of the $\mathbb{A}^1$-degree, Smooth 2-group extensions and symmetries of bundle gerbes, Construction of the circle in \textit{UniMath}, Homology of categories via polygraphic resolutions, The center of the categorified ring of differential operators, Differential cohomotopy versus differential cohomology for M-theory and differential lifts of Postnikov towers, Homotopy-coherent algebra via Segal conditions, Ambidexterity and height, An additivity theorem for cobordism categories, Combinatorial parametrised spectra, Tate motives on Witt vector affine flag varieties, The $\operatorname{arc}$-topology, Homotopy theory of monoids and derived localization, 2-Segal objects and algebras in spans, Homotopy coherent mapping class group actions and excision for Hochschild complexes of modular categories, Filter quotients and non-presentable $(\infty,1)$-toposes, Morphisms of rational motivic homotopy types, Chiral principal series categories. I: Finite dimensional calculations, Orientations for DT invariants on quasi-projective Calabi-Yau 4-folds, Coarse assembly maps, Transfer maps in generalized group homology via submanifolds, Comparison of Waldhausen constructions, The homotopy limit problem and the cellular Picard group of Hermitian $K$-theory, Relative Calabi-Yau structures. II: Shifted Lagrangians in the moduli of objects, Betti realization of varieties defined by formal Laurent series, Joyal's cylinder conjecture, Gerbes in geometry, field theory, and quantisation, Tempered D-modules and Borel-Moore homology vanishing, Hyperdescent and étale $K$-theory, The motivic Satake equivalence, $p$-torsion étale sheaves on the Jacobian of a curve, Quasi-categories vs. Segal spaces: Cartesian edition, Motivic and $\ell$-adic realizations of the category of singularities of the zero locus of a global section of a vector bundle, Faithfully flat descent of almost perfect complexes in rigid geometry, Abstract Goerss-Hopkins theory, Resolutions and homological dimensions of DG-modules, The monadic tower for $\infty$-categories, Homotopy theory and arithmetic geometry -- motivic and Diophantine aspects: an introduction, Cohomological methods in intersection theory, Étale homotopy and obstructions to rational points, A toy model for the Drinfeld-Lafforgue shtuka construction, Motivic Springer theory, Precobordism and cobordism, Spectral sequences in $(\infty,1)$-categories, Affine Beilinson-Bernstein localization at the critical level for $\mathrm{GL}_2$, The Chow $t$-structure on the $\infty$-category of motivic spectra, Homotopy coherent theorems of Dold-Kan type, Orientals as free weak $\omega $-categories, Categorical Milnor squares and $K$-theory of algebraic stacks, Topological cyclic homology of local fields, Proper base change for étale sheaves of spaces, $\mathbb{G}_a^{\operatorname{perf}} $-modules and de Rham cohomology, Heisenberg-picture quantum field theory, Thom spectra, higher THH and tensors in $\infty$-categories, Prisms and prismatic cohomology, Stability conditions on morphisms in a category, An analytic Hochschild-Kostant-Rosenberg theorem, Galois coverings of enriched categories and an extension of Cohen-Montgomery theorem, The $\text{K}$-theory of perfectoid rings, Holomorphic Atiyah-Bott formula for correspondences, Hermitian K-theory for stable $\infty$-categories. I: Foundations, Univalence and completeness of Segal objects, On the Beilinson fiber square, 2-Cartesian fibrations. I: A model for $\infty$-bicategories fibred in $\infty$-bicategories, On $\infty$-cosmoi of bicategories, Simplicial sets in topology, category theory, and beyond, On the homotopy theory of equivariant colored operads, A bivariant Yoneda lemma and $(\infty, 2)$-categories of correspondences, Special values of $L$-functions on regular arithmetic schemes of dimension 1, The localized slice spectral sequence, norms of real bordism, and the Segal conjecture, Integral motivic sheaves and geometric representation theory, Adjoint functor theorems for homotopically enriched categories, An incompatibility between spectrification and the Szabó spectral sequence, The derived deformation theory of a point, Bounded t-structures on the category of perfect complexes over a Noetherian ring of finite Krull dimension, Galois descent for real spectra, The homotopy theory of simplicial props, Waldhausen additivity: classical and quasicategorical, Derived induction and restriction theory, Monoidal infinity category of complexes from Tannakian viewpoint, The Galois group of a stable homotopy theory, A projective model structure on pro-simplicial sheaves, and the relative étale homotopy type, On homotopy varieties, The $C_2$-spectrum $\mathrm{Tmf}_1(3)$ and its invertible modules, Genuine equivariant operads, Semi-infinite cohomology and the linkage principle for $\mathcal{W}$-algebras, Infinite-dimensional (dg) Lie algebras and factorization algebras in algebraic geometry, A categorified Dold-Kan correspondence, Pointed Drinfeld center functor, Non-Archimedean analytic geometry as relative algebraic geometry, Kato-Nakayama spaces, infinite root stacks and the profinite homotopy type of log schemes, Local duality for structured ring spectra, On the rational motivic homotopy category, Abstract tilting theory for quivers and related categories, Model $\infty$-categories. II: Quillen adjunctions, Model $\infty$-categories. III: The fundamental theorem, Hochschild cohomology and group actions, Motivic Tambara functors, Equivariant dendroidal Segal spaces and $G$-$\infty$-operads, A relative 2-nerve, Projectivity of the Witt vector affine Grassmannian, Cdh descent, cdarc descent, and Milnor excision, Rigidity in étale motivic stable homotopy theory, 2-Segal spaces as invertible infinity-operads, Derived, coderived, and contraderived categories of locally presentable abelian categories, Localization of cofibration categories and groupoid $C^\ast$-algebras, Betti numbers and stability for configuration spaces via factorization homology, Presentably symmetric monoidal $\infty$-categories are represented by symmetric monoidal model categories, Local theory for 2-functors on path 2-groupoids, Free factorization algebras and homology of configuration spaces in algebraic geometry, An exposition of the topological half of the Grothendieck-Hirzebruch-Riemann-Roch theorem in the fancy language of spectra, Vanishing theorems for perverse sheaves on abelian varieties, revisited, Parameters and duality for the metaplectic geometric Langlands theory, $E_2$ structures and derived Koszul duality in string topology, Vanishing theorems for representation homology and the derived cotangent complex, Flat vs. filtered colimits in the enriched context, Model bicategories and their homotopy bicategories, Internal languages of finitely complete $(\infty , 1)$-categories, The homotopy automorphisms of a marked n-stage, Projective and Reedy model category structures for (infinitesimal) bimodules over an operad, Profinite $\infty$-operads, Observability in the univalent universe, Topological Hochschild homology and integral $p$-adic Hodge theory, Noncommutative homological projective duality, Adelic descent for K-theory, A simplicial category for higher correspondences, Marked colimits and higher cofinality, On graded $\mathbb{E}_\infty$-rings and projective schemes in spectral algebraic geometry, On a model invariance problem in homotopy type theory, Tensor triangular geometry of filtered objects and sheaves, Wrapped sheaves, Categorical models for path spaces, Accessible $\infty $-cosmoi, Sheaf representation of monoidal categories, Free algebras through Day convolution, Derived log Albanese sheaves, An equivalence between enriched $\infty $-categories and $\infty $-categories with weak action, Some refinements of the Deligne-Illusie theorem, The universal six-functor formalism, Deformation theory of perfect complexes and traces, Working session: Derived Galois deformation rings and cohomology of arithmetic groups. Abstracts from the working session held April 4--10, 2021 (hybrid meeting), Cellular categories, The period-index problem for twisted topological $K$-theory, Brauer groups and étale cohomology in derived algebraic geometry, Are all localizing subcategories of stable homotopy categories coreflective?, Permutation 2-groups. I: Structure and splitness, A local-global principle for the telescope conjecture, On a fat small object argument, Higher Hochschild homology, topological chiral homology and factorization algebras, Variations on a theme of homotopy, Towards a Thomason model structure on the category of strict $n$-categories, Uniqueness of the multiplicative cyclotomic trace, Dendroidal sets, Parametrized spaces model locally constant homotopy sheaves, Singular support of coherent sheaves and the geometric Langlands conjecture, Subdivisional spaces and graph braid groups, Comparison of stable homotopy categories and a generalized Suslin-Voevodsky theorem, Koszul duality for Lie algebroids, Gauge enhancement of super M-branes via parametrized stable homotopy theory, dg analogues of the Zuckerman functors and the dual Zuckerman functors. I, Topological twists of supersymmetric algebras of observables, Twisted differential cohomology, On the $K$-theory of pullbacks, Model categories of quiver representations, Theorem of the heart in negative $K$-theory for weight structures, Homotopical algebra for Lie algebroids, Left fibrations and homotopy colimits, Homotopy theory of relative simplicial presheaves, Enriched $\infty$-categories via non-symmetric $\infty$-operads, The 2-category theory of quasi-categories, Chern characters, equivariant traces and derived algebraic geometry, Rigidification of algebras over essentially algebraic~theories, Boundary conditions for topological quantum field theories, anomalies and projective modular functors, The Grothendieck construction for model categories, The higher Morita category of $\mathbb{E}_n$-algebras, Some mathematical and computational relations between timbre and color, 2-final 2-functors, Smashing localizations in equivariant stable homotopy, Unitary calculus: model categories and convergence, Higher weak (co)limits, adjoint functor theorems, and higher Brown representability, Smooth constructions of homotopy-coherent actions, Perverse sheaves on infinite-dimensional stacks, and affine Springer theory, Reconstruction of the stacky approach to de Rham cohomology, Yoneda lemma for enriched $\infty$-categories, Higher Lawvere theories, Descent in algebraic $K$-theory and a conjecture of Ausoni-Rognes, A homotopy coherent cellular nerve for bicategories, A Lagrangian neighbourhood theorem for shifted symplectic derived schemes, Gluing semi-orthogonal decompositions, Covariantly functorial wrapped Floer theory on Liouville sectors, cdh descent in equivariant homotopy $K$-theory, Chromatic homotopy theory is asymptotically algebraic, Relative recognition principle, Cohomological correspondence categories, Model structures for $( \infty,n)$-categories on (pre)stratified simplicial sets and prestratified simplicial spaces, Mirror symmetry and line operators, $C_2$-equivariant stable homotopy from real motivic stable homotopy, The Duskin nerve of 2-categories in Joyal's cell category $\Theta_2$, Recognizing quasi-categorical limits and colimits in homotopy coherent nerves, Sizes and filtrations in accessible categories, Parabolic semi-orthogonal decompositions and Kummer flat invariants of log schemes, Accessible aspects of 2-category theory, Algebraic $K$-theory of quasi-smooth blow-ups and cdh descent, Towards conservativity of $\mathbb{G}_m$-stabilization, Künneth formulas for motives and additivity of traces, Higher topological Hochschild homology of periodic complex K-theory, Representability theorem in derived analytic geometry, The nonequivariant coherent-constructible correspondence for toric stacks, Determinant map for the prestack of Tate objects, Differential calculus of Hochschild pairs for infinity-categories, Categorical notions of fibration, Augmentations are sheaves, Eilenberg-Mac Lane spectra as equivariant Thom spectra, $n$-excisive functors, canonical connections, and line bundles on the Ran space, Uniformization of semistable bundles on elliptic curves, Descent for semiorthogonal decompositions, Lie algebras and $v_n$-periodic spaces, Descent theory and mapping spaces, Cyclic homology for bornological coarse spaces, Characterizations of modalities and lex modalities, The coalgebraic enrichment of algebras in higher categories, Cancellation theorem for motivic spaces with finite flat transfers, Nerves of 2-categories and 2-categorification of $( \infty ,2)$-categories, Chromatic homotopy theory is algebraic when $p > n^2 + n + 1$, Gray tensor products and lax functors of $(\infty, 2)$-categories, On the James and Hilton-Milnor splittings, and the metastable EHP sequence, Differential KO-theory: constructions, computations, and applications, Calabi-Yau structures, spherical functors, and shifted symplectic structures, Milnor excision for motivic spectra, Gapped boundary theories in three dimensions, Towards an extended/higher correspondence. Generalised geometry, bundle gerbes and global double field theory, On a theorem of Braden, A Quillen model for classical Morita theory and a tensor categorification of the Brauer group, Yoneda lemma for complete Segal spaces, Differential graded versus simplicial categories, Simplicial structures in higher Auslander-Reiten theory, A theorem on multiplicative cell attachments with an application to Ravenel's $X(n)$ spectra, Some characterizations of acyclic maps, Abelian duality for generalized Maxwell theories, $C^\ast$-algebraic drawings of dendroidal sets, Twisted differential generalized cohomology theories and their Atiyah-Hirzebruch spectral sequence, The $\infty$-categorical Eckmann-Hilton argument, Tangent categories of algebras over operads, Hearts and towers in stable $\infty $-categories, A model structure via orbit spaces for equivariant homotopy, Vanishing theorems for the negative $K$-theory of stacks, Periodic cyclic homology and derived de Rham cohomology, A differential graded model for derived analytic geometry, Derived loop stacks and categorification of orbifold products, The Morel-Voevodsky localization theorem in spectral algebraic geometry, Enriched $\infty $-operads, Relating nets and factorization algebras of observables: free field theories, Cohomology of $p$-adic Stein spaces, A universal coarse $K$-theory, Enriched model categories and presheaf categories, The universality of the Rezk nerve, On equivariant and motivic slices, Triangulated factorization systems and $t$-structures, Inner horns for 2-quasi-categories, Derived completion for comodules, Higher geometry for non-geometric T-duals, Equivariant localization and completion in cyclic homology and derived loop spaces, Eilenberg-Mac Lane spaces for topological groups, A stable $\infty$-category of Lagrangian cobordisms, Twisted iterated algebraic $K$-theory and topological T-duality for sphere bundles, A graphical category for higher modular operads, Equivariant factorization homology of global quotient orbifolds, Morita homotopy theory for ($\infty$,1)-categories and $\infty$-operads, Étale stacks as prolongations, On 2-form gauge models of topological phases, A topological origin of quantum symmetric pairs, Spectral action in Betti geometric Langlands, Witt differentials in the h-topology, The simplicial EHP sequence in $\mathbb{A}^1$-algebraic topology, $K$-theory of non-Archimedean rings. I, On the construction of limits and colimits in $\infty$-categories, Higher Segal spaces via higher excision, Integral transforms and Drinfeld centers in derived algebraic geometry, What Does it Take to Prove Fermat's Last Theorem? Grothendieck and the Logic of Number Theory, Some remarks on topological 𝐾-theory of dg categories, Data Types with Symmetries and Polynomial Functors over Groupoids, On a nilpotence conjecture of J. P. May, Factorization homology of topological manifolds, Motivic homotopy theory of group scheme actions, Higher Categorical Aspects of Hall Algebras, Motivic realizations of singularity categories and vanishing cycles, A homotopy theory of coherently commutative monoidal quasi-categories, Homotopy theory of normed sets II. Model categories, Homotopy type theory and Voevodsky’s univalent foundations, A geometric proof of the Feigin-Frenkel theorem, Closed dendroidal sets and unital operads, Excision in algebraic -theory revisited, Homotopy theory of normed sets I. Basic constructions, Slices of motivic Landweber spectra, Perfect complexes on algebraic stacks, On two chain models for the gravity operad, Homotopical algebra and higher structures. Abstracts from the workshop held September 19--25, 2021 (hybrid meeting), The $\mathbb{R}$-local homotopy theory of smooth spaces, Identity and intensionality in univalent foundations and philosophy, The pro-étale topos as a category of pyknotic presheaves, A geometric approach to equivariant factorization homology and nonabelian Poincaré duality, The étale symmetric Künneth theorem, Rational motivic path spaces and Kim's relative unipotent Section conjecture, Motivic and real étale stable homotopy theory, Canonical<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"><mml:mi>q</mml:mi></mml:math>-deformations in arithmetic geometry, Boundary chiral algebras and holomorphic twists, Synthetic spectra and the cellular motivic category, Idempotents in intensional type theory, Towards a homotopy domain theory, EQUIVALENCE OF MODELS FOR EQUIVARIANT (∞, 1)-CATEGORIES, On the moduli space of 𝐴_{∞}-structures, Brauer spaces for commutative rings and structured ring spectra, Bridgeland stability, 2-Segal spaces, and the Ran space of the line, Introduction to gestural similarity in music. An application of category theory to the orchestra, Spaces of gestures are function spaces, Monadicity of the Bousfield–Kuhn functor, A classification of equivariant gerbe connections, A simplicial model for infinity properads, Poisson reduction as a coisotropic intersection, A type theory for synthetic $\infty$-categories, The comprehension construction, Equivariant coarse homotopy theory and coarse algebraic K-homology, Grothendieck duality made simple, On Deformations of Diagrams of Commutative Algebras, Adjoint functor theorems for ∞‐categories, Combinatorial constructions of derived equivalences, Geometric stabilisation via $p$-adic integration, Brouwer's fixed-point theorem in real-cohesive homotopy type theory, Homotopy-Theoretic Models of Type Theory, On fibrant objects in model categories, Dualizing cartesian and cocartesian fibrations, Revisiting the canonicity of canonical triangulations, Contravariance through enrichment, Stability for inner fibrations revisited, Model structures for coalgebras, The Morita equivalence between parametrized spectra and module spectra, Segal objects and the Grothendieck construction, Double homotopy (co)limits for relative categories, 𝐾-theory of endomorphisms via noncommutative motives, A non-commutative model for higher twistedK-theory, On the algebraicK-theory of higher categories, Semantics of higher inductive types, Topological K-theory of complex noncommutative spaces, Decomposition-space slices are toposes, Remarks on Chern-Simons theory, Limits under conjugacy of the diagonal subgroup in 𝑆𝐿_{𝑛}(ℝ), The categorified Grothendieck–Riemann–Roch theorem, Higher symmetries in abstract stable homotopy theories, Higher Auslander algebras of type 𝔸 and the higher Waldhausen 𝖲-constructions, Infinity‐operads and Day convolution in Goodwillie calculus, Higher U(1)-gerbe connections in geometric prequantization, A flexible construction of equivariant Floer homology and applications, -homotopy invariants of topological Fukaya categories of surfaces, Adelic descent theory, Differential function spectra, the differential Becker-Gottlieb transfer, and applications to differential algebraic 𝐾-theory, A Survey of (∞, 1)-Categories, The Operadic Nerve, Relative Nerve, and the Grothendieck Construction, Higher groupoid bundles, higher spaces, and self-dual tensor field equations, Weyl n-algebras and the Kontsevich integral of the unknot, ZERO-POINTED MANIFOLDS, Colimits of accessible categories, Towards Vorst's conjecture in positive characteristic, Brauer groups and Galois cohomology of commutative ring spectra, Dualizable tensor categories, Van Kampen Colimits and Path Uniqueness, Homotopy theory for algebras over polynomial monads, Generators in formal deformations of categories, Counterexamples to Hochschild-Kostant-Rosenberg in characteristic p, On the equivalence between $\Theta _{n}$-spaces and iterated Segal spaces, The two out of three property in ind-categories and a convenient model category of spaces, Frobenius algebras and homotopy fixed points of group actions on bicategories, Classification of Constructible Cosheaves, Weak model categories in classical and constructive mathematics, Lax limits of model categories, Unnamed Item, On the Rouquier dimension of wrapped Fukaya categories and a conjecture of Orlov, Mapping stacks and categorical notions of properness, Crossing with the circle in Dijkgraaf–Witten theory and applications to topological phases of matter, THE TOM DIECK SPLITTING THEOREM IN EQUIVARIANT MOTIVIC HOMOTOPY THEORY, THE ZEROTH -STABLE HOMOTOPY SHEAF OF A MOTIVIC SPACE, Partition complexes and trees, Dependent products and 1-inaccessible universes, Every Elementary Higher Topos has a Natural Number Object, Unnamed Item, Cubical models of higher categories without connections, Tate’s thesis in the de Rham setting, Thurston’s fragmentation and c-principles, Twisted forms of perfect complexes and Hilbert 90, Nearby cycles on Drinfeld-Gaitsgory-Vinberg interpolation Grassmannian and long intertwining functor, A descent principle for compactly supported extensions of functors, Calabi–Yau structures on (quasi-)bisymplectic algebras, K-THEORY OF NON-ARCHIMEDEAN RINGS II, Principal $\infty$-bundles and smooth string group models, A perfect pairing for monoidal adjunctions, Representations up to coherent homotopy, Labelled cospan categories and properads, Detecting and describing ramification for structured ring spectra, Perverse sheaves on Riemann surfaces as Milnor sheaves, An elementary proof of the naturality of the Yoneda embedding, On distributivity in higher algebra I: the universal property of bispans, Left-exact localizations of $\infty$-topoi. II: Grothendieck topologies, Higher Structures in Algebraic Quantum Field Theory, The Rational Higher Structure of M‐theory, On some (co)homological invariants of coherent matrix factorizations, Universality of the homotopy interleaving distance, The cohomological Hall algebra of a surface and factorization cohomology, The fundamental theorem of localizing invariants, M/F-theory as Mf-theory, Homotopy cardinality via extrapolation of Morava-Euler characteristics, On equivariant topological modular forms, Enhanced bivariant homology theory attached to six functor formalism, Decompositions of the stable module ∞$\infty$‐category, A $t$-structure on the $\infty$-category of mixed graded modules, Goodwillie's cosimplicial model for the space of long knots and its applications, Higher Structures in Homotopy Type Theory, Higher semiadditive Grothendieck-Witt theory and the 𝐾(1)-local sphere, $t$-structures with Grothendieck hearts via functor categories, Posets for which Verdier duality holds, Connective models for topological modular forms of level $n$, The $Sp_{k,n}$-local stable homotopy category, Smooth one-dimensional topological field theories are vector bundles with connection, Simplicial model structures on pro-categories, Equivariant dendroidal sets and simplicial operads, $K$-theory and $G$-theory of derived algebraic stacks, Moduli of spaces with prescribed homotopy groups, Perfectoid rings as Thom spectra, Parametrized higher category theory, KHOVANOV SPECTRA FOR TANGLES, Kuznetsov's Fano threefold conjecture via $K3$ categories and enhanced group actions, Quasi-2-Segal sets, The mod-$p$ Riemann-Hilbert correspondence and the perfect site, Base change theorems for log analytic spaces, A homotopy coherent nerve for $(\infty, n)$-categories, Vopěnka's principle in $\infty$-categories, On endomorphisms of the de Rham cohomology functor, The Theory of an Arbitrary Higher $\lambda$-Model, Cyclification of orbifolds, K-theory of large categories, Brane structures in microlocal sheaf theory, On straightening for Segal spaces, Localizations and completions of stable $\infty$-categories, Strange new universes: Proof assistants and synthetic foundations, Smith ideals of operadic algebras in monoidal model categories, A Künneth theorem for configuration spaces, Locally (co)Cartesian fibrations as realisation fibrations and the classifying space of cospans, On the equivalence of all models for (∞,2)$(\infty,2)$‐categories, A 3‐categorical perspective on G$G$‐crossed braided categories, Spanier–Whitehead duality for topological coHochschild homology, Equivariant algebraic $K$-theory, $G$-theory and derived completions, On quadratically enriched excess and residual intersections, Quantum parameters of the geometric Langlands theory, The reductive Borel-Serre compactification as a model for unstable algebraic K-theory, The de Rham-Fargues-Fontaine cohomology, Categories of graphs for operadic structures, Artin perverse sheaves, $\infty$-operads as symmetric monoidal $\infty$-categories, Unnamed Item, Unnamed Item, Database queries and constraints via lifting problems, Sets in homotopy type theory, Univalence for inverse diagrams and homotopy canonicity, Topological modular forms with level structure, Noncommutative stable homotopy and stable infinity categories, Dendroidal sets as models for connective spectra, The additivity of traces in monoidal derivators, Algebraic K-Theory of ∞-Operads, Type-amalgamation properties and polygroupoids in stable theories, On dualizability of braided tensor categories, The symplectic geometry of higher Auslander algebras: Symmetric products of disks, On the formality of the little disks operad in positive characteristic, A generalization of the b-function lemma, The effective model structure and -groupoid objects, Coalgebras in the Dwyer-Kan localization of a model category, Induced model structures for higher categories, Gel′fand-Fuchs cohomology in algebraic geometry and factorization algebras, A Hochschild-Kostant-Rosenberg theorem and residue sequences for logarithmic Hochschild homology, Weak Cartesian properties of simplicial sets, PONTRYAGIN DUALITY FOR VARIETIES OVER p-ADIC FIELDS, A prismatic approach to crystalline local systems, Univalent categories of modules, A general framework for the semantics of type theory, On notions of compactness, object classifiers, and weak Tarski universes, The long exact sequence of homotopy n-groups, On the ∞$\infty$‐topos semantics of homotopy type theory, Discreteness and completeness for $\Theta_n$-models of $(\infty, n)$-categories, Quantization of algebraic invariants through Topological Quantum Field Theories, Topological equivariant coarse $K$-homology, Rings and modules in Kan spectra, Two-dimensional categorified Hall algebras, Chern classes in precobordism theories, Barr-exact categories and soft sheaf representations, On the additivity of strong homology for locally compact separable metric spaces, On the u^∞-torsion submodule of prismatic cohomology, ELLIPTIC COHOMOLOGY IS UNIQUE UP TO HOMOTOPY, Yoneda lemma for simplicial spaces, Some recent advances in topological Hochschild homology, Deligne–Lusztig duality on the moduli stack of bundles, $t$-structures on stable derivators and Grothendieck hearts, Constructible sheaves on schemes, On rectification and enrichment of infinity properads, Brauer spaces of spectral algebraic stacks, Cogroupoid structures on the circle and the Hodge degeneration, Higher semiadditive algebraic K-theory and redshift, Homotopy theory of monoid actions via group actions and an Elmendorf style theorem, Two-variable fibrations, factorisation systems and -categories of spans, Homotopy (co)limits via homotopy (co)ends in general combinatorial model categories, Homotopy sheaves on generalised spaces, Lax monoidal adjunctions, two‐variable fibrations and the calculus of mates, Continuous $K$-theory and cohomology of rigid spaces, A categorification of the quantum Lefschetz principle, Sectorial descent for wrapped Fukaya categories, What is an equivalence in a higher category?, The Devinatz-Hopkins theorem via algebraic geometry, Genuine versus naïve symmetric monoidal $G$-categories, Valuative Lattices and Spectra, A categorical Künneth formula for constructible Weil sheaves, Left Bousfield localization without left properness, Simplicial approach to path homology of quivers, marked categories, groups and algebras, On the sheafyness property of spectra of Banach rings, Algebraic $k\,k$-theory and the KH-isomorphism conjecture, HYPERMATRIX ALGEBRA AND IRREDUCIBLE ARITY IN HIGHER-ORDER SYSTEMS: CONCEPTS AND PERSPECTIVES, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Modalities in homotopy type theory, Integral models for spaces via the higher Frobenius, Higher stabilization and higher Freudenthal suspension, Infinity category theory from scratch, Fibrations of $\infty$-categories, The colimit of an $\infty$-local system as a twisted tensor product, The Semi-infinite Intersection Cohomology Sheaf-II: The Ran Space Version, A new approach to model categorical homotopy fiber sequences, $L'$-localization in an $\infty$-topos, An (∞,2)-categorical pasting theorem, Prismatic Dieudonné Theory, The genuine operadic nerve, The tangent bundle of a model category, SHIFTED COISOTROPIC CORRESPONDENCES, A model structure on prederivators for $(\infty,1)$-categories, An interpretation of dependent type theory in a model category of locally cartesian closed categories, Cofreeness in real bordism theory and the segal conjecture, Trace and Künneth formulas for singularity categories and applications, Localization and nilpotent spaces in -homotopy theory, The spectrum of derived Mackey functors, Algebraic 𝐾-theory of 𝑇𝐻𝐻(𝔽_{𝕡}), Higher homotopy categories, higher derivators, and K-theory, A functorial approach to monomorphism categories for species I, The six-functor formalism for rigid analytic motives, On sifted colimits in the presence of pullbacks, A spectral incarnation of affine character sheaves, The Catalan simplicial set, Cubillages of cyclic zonotopes, Higher Orbifolds and Deligne-Mumford Stacks as Structured Infinity-Topoi, Unnamed Item, CATEGORICAL PROOF OF HOLOMORPHIC ATIYAH–BOTT FORMULA, On the Descriptive Power of Probability Logic, On the \'etale homotopy type of higher stacks, Cartesian factorization systems and pointed cartesian fibrations of $\infty$-categories, On lax transformations, adjunctions, and monads in $(\infty,2)$-categories, Holomorphic Poisson Field Theories, A user's guide to co/cartesian fibrations, From Ohkawa to Strong Generation via Approximable Triangulated Categories—A Variation on the Theme of Amnon Neeman’s Nagoya Lecture Series, Operations on Integral Lifts of K(n), On Quasi-Categories of Comodules and Landweber Exactness, GAGA theorems in derived complex geometry, The $K$-theory spectrum of varieties, Unnamed Item, Operads for algebraic quantum field theory, Every 2-Segal space is unital, Cartier modules and cyclotomic spectra, Modules over algebraic cobordism, Segal spaces, spans, and semicategories, A comparison of norm maps, On the topological characterization of gestures in a convenient category of spaces, On the unicity of the theory of higher categories, Indexed type theories, Singular chains and the fundamental group, Goodwillie Approximations to Higher Categories, Actions of $K(\pi ,n)$ spaces on $K$-theory and uniqueness of twisted $K$-theory, Fundamental pushouts of n-complicial sets, Simplicial localisation of homotopy algebras over a prop, Homotopy theory with marked additive categories, Symmetric monoidal categories and $\Gamma$-categories, The Canonical 2-Gerbe of a Holomorphic Vector Bundle, Localization of enriched categories and cubical sets, Cubical model categories and quasi-categories, Unnamed Item, Unnamed Item, Unnamed Item, Quillen cohomology of $(\infty,2)$-categories, A counterexample in quasi-category theory, The edgewise subdivision criterion for 2-Segal objects, Mirror symmetry for honeycombs, CATEGORIFYING RATIONALIZATION, Relative Calabi–Yau structures, THE INTERSECTION MOTIVE OF THE MODULI STACK OF SHTUKAS, MULTIPLICATIVE PARAMETRIZED HOMOTOPY THEORY VIA SYMMETRIC SPECTRA IN RETRACTIVE SPACES, Topological Fukaya category and mirror symmetry for punctured surfaces, A criterion for existence of right‐induced model structures, ONE POSITIVE AND TWO NEGATIVE RESULTS FOR DERIVED CATEGORIES OF ALGEBRAIC STACKS, A colimit of traces of reflection groups, The Arf-Brown TQFT of pin⁻ surfaces, A guide for computing stable homotopy groups, Flagged higher categories, The holomorphic bosonic string, Formal deformations of algebraic spaces and generalizations of the motivic Igusa-zeta function, Arrow categories of monoidal model categories, SYMMETRIC OPERADS IN ABSTRACT SYMMETRIC SPECTRA, Higher colimits, derived functors and homology, Unnamed Item, A generalized Contou-Carrère symbol and its reciprocity laws in higher dimensions, Type Theory and Homotopy, Coherence in three-dimensional category theory(Cambridge Tracts in Mathematics 201)ByNick Gurski, 𝐾-theory and topological cyclic homology of henselian pairs, Homotopical Categories of Logics, RATIONAL LOCAL SYSTEMS AND CONNECTED FINITE LOOP SPACES, Period sheaves via derived de Rham cohomology, Geometric Satake, Springer correspondence, and small representations II, Homotopy theory with *categories, The geometry of filtrations, Topological modular forms with level structure: Decompositions and duality, DERIVED NON-ARCHIMEDEAN ANALYTIC HILBERT SPACE, Topological models for stable motivic invariants of regular number rings, Ginzburg algebras of triangulated surfaces and perverse schobers