Cover Image

The Yoneda embedding in simplicial type theory

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Gratzer, Daniel, Weinberger, Jonathan, Buchholtz, Ulrik
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science Algebraic Topology Category Theory 03B38, 18N60, 18D30, 18B50, 18N45, 55U35, 18N50 F.4.1
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Directed univalence in simplicial homotopy type theory
by: Gratzer, Daniel, et al.
Published: (2024)

Generalized Chevalley criteria in simplicial homotopy type theory
by: Weinberger, Jonathan
Published: (2024)

On the $\infty$-topos semantics of homotopy type theory
by: Riehl, Emily
Published: (2022)

Internal sums for synthetic fibered $(\infty,1)$-categories
by: Weinberger, Jonathan
Published: (2022)

Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories
by: Weinberger, Jonathan
Published: (2022)

Synthetic perspectives on spaces and categories
by: Riehl, Emily
Published: (2025)

A 2-categorical proof of Frobenius for fibrations defined from a generic point
by: Hazratpour, Sina, et al.
Published: (2022)

Generalizing quasi-categories via model structures on simplicial sets
by: Feller, Matthew
Published: (2021)

Culf maps and edgewise subdivision
by: Hackney, Philip, et al.
Published: (2022)

Simplicial sets in topology, category theory, and beyond
by: Bergner, Julia E.
Published: (2024)

Calculus of Fractions for Quasicategories
by: Carranza, Daniel, et al.
Published: (2023)

The biequivalence of path categories and axiomatic Martin-Löf type theories
by: Otten, Daniël, et al.
Published: (2025)

Diagonal Lemma for Presheaves on Eilenberg-Zilber Categories
by: Carranza, Daniel, et al.
Published: (2023)

On duoidal $\infty$-categories
by: Torii, Takeshi
Published: (2021)

Modeling $(\infty,1)$-categories with Segal spaces
by: Moser, Lyne, et al.
Published: (2024)

Exponentiable functors between synthetic $\infty$-categories
by: Bardomiano-Martínez, César
Published: (2024)

Cartesian Fibrations of $(\infty,2)$-categories
by: Gagna, Andrea, et al.
Published: (2021)

A homotopy coherent nerve for $(\infty,n)$-categories
by: Moser, Lyne, et al.
Published: (2022)

Filter Quotient Model Structures
by: Rasekh, Nima
Published: (2025)

Abacus bicomodule configurations and the Bergner-Osorno-Ozornova-Rovelli-Scheimbauer equivalence
by: Kock, Joachim, et al.
Published: (2025)

A short proof of the straightening theorem
by: Hebestreit, Fabian, et al.
Published: (2021)

Non-Standard Models of Homotopy Type Theory
by: Rasekh, Nima
Published: (2025)

Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
by: Rasekh, Nima
Published: (2025)

Multiplicative structures on comodules in higher categories
by: Torii, Takeshi
Published: (2025)

Map monoidales and duoidal $\infty$-categories
by: Torii, Takeshi
Published: (2024)

A 2-categorical approach to the semantics of dependent type theory with computation axioms
by: Spadetto, Matteo
Published: (2025)

Beck-Chevalley Conditions in Simplicial Sets
by: Chakhvashvili, Gaga
Published: (2025)

Non-accessible localizations
by: Christensen, J. Daniel
Published: (2021)

Smooth and Proper Maps
by: Anel, Mathieu, et al.
Published: (2024)

Models for rational $(\infty, 1)$-categories
by: Chatzitheodoridis, Eleftherios
Published: (2025)

Arboreal Objects and Their Homotopy Theory
by: Kaygun, Atabey
Published: (2026)

Cech cohomology of partially ordered sets
by: Husainov, Ahmet A.
Published: (2023)

Combinatorial model categories are equivalent to presentable quasicategories
by: Pavlov, Dmitri
Published: (2021)

A modern perspective on rational homotopy theory
by: Chatzitheodoridis, Eleftherios
Published: (2025)

Abstract Excision and $\ell^1$-Homology
by: Witzig, Johannes
Published: (2022)

$(\infty,1)$-Categorical Comprehension Schemes
by: Stenzel, Raffael
Published: (2020)

Derived mapping spaces of $\infty$-categories
by: Arakawa, Kensuke, et al.
Published: (2025)

Double categorical model of $(\infty,1)$-categories
by: Guetta, Léonard, et al.
Published: (2024)

Cosmological Unstraightening
by: Rasekh, Nima
Published: (2025)

Symmetric monoidal extensions and graph cobordisms between finite sets
by: Bianchi, Andrea
Published: (2025)