Cover Image

Internal higher topos theory

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Martini, Louis, Wolf, Sebastian
Format:	Preprint
Published:	2023
Subjects:	Category Theory Algebraic Topology
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Colimits and cocompletions in internal higher category theory
by: Martini, Louis, et al.
Published: (2021)

Proper morphisms of $\infty$-topoi
by: Martini, Louis, et al.
Published: (2023)

Presentability and topoi in internal higher category theory
by: Martini, Louis, et al.
Published: (2022)

$(\infty,2)$-Topoi and descent
by: Abellán, Fernando, et al.
Published: (2024)

Free fibrations, lax colimits and Kan extensions for $(\infty,2)$-categories
by: Abellán, Fernando, et al.
Published: (2026)

Stable homotopy theory of higher categories
by: Heine, Hadrian
Published: (2026)

Non-trivial higher homotopy of first-order theories
by: Campion, Tim, et al.
Published: (2023)

The higher algebra of weighted colimits
by: Heine, Hadrian
Published: (2024)

Eckmann-Hilton arguments in equivariant higher algebra
by: Stewart, Natalie
Published: (2025)

An internal description of constructible objects in an $\infty$-topos
by: He, Li
Published: (2025)

Deformations of homotopy theories via algebraic theories
by: Balderrama, William
Published: (2021)

Cyclic polytopes, orientals, and correspondences: some aspects of higher Segal spaces
by: Dyckerhoff, Tobias
Published: (2025)

On the equivalence invariance of formal category theory
by: Verdugo, Paula
Published: (2025)

Simplicial lists in operad theory I
by: Haderi, Redi, et al.
Published: (2024)

Homotopy theory of Moore flows (I)
by: Gaucher, Philippe
Published: (2020)

Unstable synthetic deformations I: Malcev theories
by: Balderrama, William, et al.
Published: (2026)

On the equivalence of two approaches to multiplicative homotopy theories
by: Arakawa, Kensuke
Published: (2026)

PROPs associated to Lawvere theories and their relation to polynomial functors
by: Kim, Minkyu
Published: (2024)

Global homotopy theory via partially lax limits
by: Linskens, Sil, et al.
Published: (2022)

Categorification of sheaf theory
by: Stefanich, Germán
Published: (2025)

Finiteness and finite domination in stratified homotopy theory
by: Volpe, Marco
Published: (2024)

Non-Hausdorff manifolds over locally ordered spaces via sheaf theory
by: Chamoun, Yorgo, et al.
Published: (2025)

Internal languages of locally cartesian closed $(\infty,1)$-categories
by: Cherradi, El Mehdi
Published: (2025)

Plus constructions, plethysm, and unique factorization categories with applications to graphs and operad-like theories
by: Kaufmann, Ralph M., et al.
Published: (2022)

Topological field theories associated with Calabi-Yau categories
by: Bozec, Tristan, et al.
Published: (2024)

Higher geometric sheaf theories
by: Stenzel, Raffael
Published: (2022)

Homology of higher categories
by: Heine, Hadrian
Published: (2025)

Elementary $\infty$-toposes from type theory
by: Apol, Daniël, et al.
Published: (2025)

$2$-dimensional Lawvere theories: commutativity and lax phenomena
by: Perutka, Tomáš
Published: (2026)

Global representation theory: Homological foundations
by: Barrero, Miguel, et al.
Published: (2025)

Interpreting type theory in a quasicategory: a Yoneda approach
by: Cherradi, El Mehdi
Published: (2022)

A higher-order generalization of group theory
by: Szegedy, Balazs
Published: (2024)

The Freed--Quinn line bundle from higher geometry
by: Berwick-Evans, Daniel, et al.
Published: (2025)

Support theories for non-Noetherian tensor triangulated categories
by: Zou, Changhan
Published: (2023)

Amplitudes in persistence theory
by: Giunti, Barbara, et al.
Published: (2021)

Profinite completions of topological operads
by: Blom, Thomas, et al.
Published: (2023)

Left-exact Localizations of $\infty$-Topoi III: The Acyclic Product
by: Anel, Mathieu, et al.
Published: (2023)

An equivalence between two models of $\infty$-categories of enriched presheaves
by: Heine, Hadrian
Published: (2023)

Naturality of the $\infty$-Categorical Enriched Yoneda Embedding
by: Ben-Moshe, Shay
Published: (2023)

Flat functors in the context of fibration categories
by: Cherradi, El Mehdi
Published: (2026)