Buchumschlag

Higher geometric sheaf theories

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Stenzel, Raffael
Format:	Preprint
Veröffentlicht:	2022
Schlagworte:	Category Theory Algebraic Topology Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Modal Fracture of Higher Groups
von: Myers, David Jaz
Veröffentlicht: (2021)

Higher presentable categories and limits
von: Aoki, Ko
Veröffentlicht: (2025)

$(\infty,1)$-Categorical Comprehension Schemes
von: Stenzel, Raffael
Veröffentlicht: (2020)

Elementary $\infty$-toposes from type theory
von: Apol, Daniël, et al.
Veröffentlicht: (2025)

$2$-dimensional Lawvere theories: commutativity and lax phenomena
von: Perutka, Tomáš
Veröffentlicht: (2026)

Non-trivial higher homotopy of first-order theories
von: Campion, Tim, et al.
Veröffentlicht: (2023)

Interpreting type theory in a quasicategory: a Yoneda approach
von: Cherradi, El Mehdi
Veröffentlicht: (2022)

Categorification of sheaf theory
von: Stefanich, Germán
Veröffentlicht: (2025)

Manifold Diagrams for Higher Categories
von: Heidemann, Lukas
Veröffentlicht: (2024)

Choice axioms and Postnikov completeness
von: Anel, Mathieu, et al.
Veröffentlicht: (2024)

Basic Category Theory
von: Leinster, Tom
Veröffentlicht: (2016)

Internal languages of locally cartesian closed $(\infty,1)$-categories
von: Cherradi, El Mehdi
Veröffentlicht: (2025)

Path Types in Algebraic Type Theory
von: Awodey, Steve, et al.
Veröffentlicht: (2026)

Non-Hausdorff manifolds over locally ordered spaces via sheaf theory
von: Chamoun, Yorgo, et al.
Veröffentlicht: (2025)

Epimorphisms and Acyclic Types in Univalent Foundations
von: Buchholtz, Ulrik, et al.
Veröffentlicht: (2024)

Presentation of finite Reedy categories as localizations of finite direct categories
von: Sato, Genki
Veröffentlicht: (2025)

Higher categories
von: Haugseng, Rune
Veröffentlicht: (2024)

Deformations of homotopy theories via algebraic theories
von: Balderrama, William
Veröffentlicht: (2021)

Model Categories and the Higher Riemann-Hilbert Correspondence
von: Galvin, Callum
Veröffentlicht: (2025)

Approximate Fibrations in Higher Topos Theory
von: Kremer, Christian, et al.
Veröffentlicht: (2025)

Internal higher topos theory
von: Martini, Louis, et al.
Veröffentlicht: (2023)

Stable homotopy theory of higher categories
von: Heine, Hadrian
Veröffentlicht: (2026)

On the equivalence invariance of formal category theory
von: Verdugo, Paula
Veröffentlicht: (2025)

Simplicial lists in operad theory I
von: Haderi, Redi, et al.
Veröffentlicht: (2024)

Homotopy theory of Moore flows (I)
von: Gaucher, Philippe
Veröffentlicht: (2020)

Unstable synthetic deformations I: Malcev theories
von: Balderrama, William, et al.
Veröffentlicht: (2026)

Colimits and cocompletions in internal higher category theory
von: Martini, Louis, et al.
Veröffentlicht: (2021)

On the equivalence of two approaches to multiplicative homotopy theories
von: Arakawa, Kensuke
Veröffentlicht: (2026)

Global homotopy theory via partially lax limits
von: Linskens, Sil, et al.
Veröffentlicht: (2022)

PROPs associated to Lawvere theories and their relation to polynomial functors
von: Kim, Minkyu
Veröffentlicht: (2024)

Finiteness and finite domination in stratified homotopy theory
von: Volpe, Marco
Veröffentlicht: (2024)

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

Framed Polytopes and Higher Categories
von: Laplante-Anfossi, Guillaume, et al.
Veröffentlicht: (2025)

Higher Zariski Geometry
von: Aoki, Ko, et al.
Veröffentlicht: (2025)

Topological field theories associated with Calabi-Yau categories
von: Bozec, Tristan, et al.
Veröffentlicht: (2024)

Higher Segal spaces and partial groups
von: Hackney, Philip, et al.
Veröffentlicht: (2025)

Towards a theory of natural directed paths
von: Gaucher, Philippe
Veröffentlicht: (2023)

The higher algebra and geometry of monoidal bicategories
von: Stenzel, Raffael
Veröffentlicht: (2026)

Global representation theory: Homological foundations
von: Barrero, Miguel, et al.
Veröffentlicht: (2025)

Reflecting compact $T_1$-spaces into bounded distributive lattices
von: Gehrke, Mai, et al.
Veröffentlicht: (2024)