Cover Image

Interpreting type theory in a quasicategory: a Yoneda approach

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Cherradi, El Mehdi
Format:	Preprint
Published:	2022
Subjects:	Category Theory Algebraic Topology Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

Generalized Reedy diagrams in tribes
by: Cherradi, El Mehdi
Published: (2026)

Semi-cubical tribes
by: Cherradi, El Mehdi
Published: (2026)

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

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

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

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

On the $\infty$-categorical Whitehead theorem and the embedding of quasicategories in prederivators
by: Arlin, Kevin
Published: (2016)

Uniqueness and $(\infty,2)$-Naturality of Yoneda
by: Ben-Moshe, Shay
Published: (2024)

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

Modal Fracture of Higher Groups
by: Myers, David Jaz
Published: (2021)

Higher presentable categories and limits
by: Aoki, Ko
Published: (2025)

Choice axioms and Postnikov completeness
by: Anel, Mathieu, et al.
Published: (2024)

Basic Category Theory
by: Leinster, Tom
Published: (2016)

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

Manifold Diagrams for Higher Categories
by: Heidemann, Lukas
Published: (2024)

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

Presentation of finite Reedy categories as localizations of finite direct categories
by: Sato, Genki
Published: (2025)

Revisiting $(\infty,2)$-naturality of the Yoneda embedding
by: Lenz, Tobias
Published: (2025)

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

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

A point-free approach to the Nakaoka spectrum of a Tambara functor
by: Heard, Drew
Published: (2026)

A type-theoretic definition of lax $(\infty,\infty)$-limits
by: Mikhail, Thomas Jan
Published: (2024)

Internal higher topos theory
by: Martini, Louis, et al.
Published: (2023)

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

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)

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

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

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

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

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

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

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

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

Towards a theory of natural directed paths
by: Gaucher, Philippe
Published: (2023)

Non-Hausdorff manifolds over locally ordered spaces via sheaf theory
by: Chamoun, Yorgo, et al.
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)