Buchumschlag

Interpreting type theory in a quasicategory: a Yoneda approach

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Cherradi, El Mehdi
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

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

Flat functors in the context of fibration categories
von: Cherradi, El Mehdi
Veröffentlicht: (2026)

Generalized Reedy diagrams in tribes
von: Cherradi, El Mehdi
Veröffentlicht: (2026)

Semi-cubical tribes
von: Cherradi, El Mehdi
Veröffentlicht: (2026)

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

Higher geometric sheaf theories
von: Stenzel, Raffael
Veröffentlicht: (2022)

$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)

On the $\infty$-categorical Whitehead theorem and the embedding of quasicategories in prederivators
von: Arlin, Kevin
Veröffentlicht: (2016)

Uniqueness and $(\infty,2)$-Naturality of Yoneda
von: Ben-Moshe, Shay
Veröffentlicht: (2024)

Naturality of the $\infty$-Categorical Enriched Yoneda Embedding
von: Ben-Moshe, Shay
Veröffentlicht: (2023)

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

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

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

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

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

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

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)

Revisiting $(\infty,2)$-naturality of the Yoneda embedding
von: Lenz, Tobias
Veröffentlicht: (2025)

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

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

A point-free approach to the Nakaoka spectrum of a Tambara functor
von: Heard, Drew
Veröffentlicht: (2026)

A type-theoretic definition of lax $(\infty,\infty)$-limits
von: Mikhail, Thomas Jan
Veröffentlicht: (2024)

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)

Presheaves of groupoids as models for homotopy types
von: Guetta, Léonard
Veröffentlicht: (2022)

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)

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)

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

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

On the equivalence of Brantner's and Chu--Haugseng's approaches to enriched $\infty$-operads
von: Arakawa, Kensuke
Veröffentlicht: (2026)

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

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

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