Copertina

Non-trivial higher homotopy of first-order theories

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Campion, Tim, Ye, Jinhe
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Logic Algebraic Topology Category Theory
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Higher geometric sheaf theories
di: Stenzel, Raffael
Pubblicazione: (2022)

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

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

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

Stable homotopy theory of higher categories
di: Heine, Hadrian
Pubblicazione: (2026)

Modal Fracture of Higher Groups
di: Myers, David Jaz
Pubblicazione: (2021)

Higher presentable categories and limits
di: Aoki, Ko
Pubblicazione: (2025)

Choice axioms and Postnikov completeness
di: Anel, Mathieu, et al.
Pubblicazione: (2024)

Basic Category Theory
di: Leinster, Tom
Pubblicazione: (2016)

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

Path Types in Algebraic Type Theory
di: Awodey, Steve, et al.
Pubblicazione: (2026)

Deformations of homotopy theories via algebraic theories
di: Balderrama, William
Pubblicazione: (2021)

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

Finiteness and finite domination in stratified homotopy theory
di: Volpe, Marco
Pubblicazione: (2024)

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

Internal higher topos theory
di: Martini, Louis, et al.
Pubblicazione: (2023)

Manifold Diagrams for Higher Categories
di: Heidemann, Lukas
Pubblicazione: (2024)

Epimorphisms and Acyclic Types in Univalent Foundations
di: Buchholtz, Ulrik, et al.
Pubblicazione: (2024)

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

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

Presheaves of groupoids as models for homotopy types
di: Guetta, Léonard
Pubblicazione: (2022)

Presentation of finite Reedy categories as localizations of finite direct categories
di: Sato, Genki
Pubblicazione: (2025)

The discrete homotopy hypothesis for directed graphs
di: Eldridge, Briony, et al.
Pubblicazione: (2026)

The higher algebra of weighted colimits
di: Heine, Hadrian
Pubblicazione: (2024)

Eckmann-Hilton arguments in equivariant higher algebra
di: Stewart, Natalie
Pubblicazione: (2025)

A higher-order generalization of group theory
di: Szegedy, Balazs
Pubblicazione: (2024)

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

Thin homotopy and the signature of piecewise linear surfaces
di: Bischoff, Francis, et al.
Pubblicazione: (2025)

On the equivalence invariance of formal category theory
di: Verdugo, Paula
Pubblicazione: (2025)

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

Homotopy theory of Moore flows (I)
di: Gaucher, Philippe
Pubblicazione: (2020)

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

A Quillen model structure of local homotopy equivalences
di: Mukherjee, Devarshi, et al.
Pubblicazione: (2022)

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

Categorification of sheaf theory
di: Stefanich, Germán
Pubblicazione: (2025)

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

Stable homology of Lie algebras of derivations and homotopy invariants of wheeled operads
di: Dotsenko, Vladimir
Pubblicazione: (2023)

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

Theorem of the heart for Weibel's homotopy $K$-theory
di: Efimov, Alexander I.
Pubblicazione: (2026)

Towards a theory of natural directed paths
di: Gaucher, Philippe
Pubblicazione: (2023)