Cover Image

On the $\infty$-topos semantics of homotopy type theory

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Riehl, Emily
Format:	Preprint
Published:	2022
Subjects:	Category Theory Algebraic Topology Logic 18N60, 18N45, 18N50, 03B38, 55U35
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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)

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

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

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)

The Yoneda embedding in simplicial type theory
by: Gratzer, Daniel, et al.
Published: (2025)

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

Pushouts of Dwyer maps are $(\infty,1)$-categorical
by: Hackney, Philip, et al.
Published: (2022)

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

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

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

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

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

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

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

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

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

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

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

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

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

Cores and localizations of $(\infty,\infty)$-categories
by: Ozornova, Viktoriya, et al.
Published: (2026)

Diagrammatic sets as a model of homotopy types
by: Chanavat, Clémence, et al.
Published: (2024)

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

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

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

Towards 2-derivators for formal $\infty$-category theory
by: Di Vittorio, Nicola
Published: (2023)

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

A Model Independent Universal Property for the Lax 2-Functor Classifier
by: Gloßner, Johannes
Published: (2025)

Symmetry in the cubical Joyal model structure
by: Doherty, Brandon
Published: (2024)

$(\infty,n)$-Limits II: Comparison across models
by: Moser, Lyne, et al.
Published: (2024)

Homotopy Languages
by: Martínez, César Bardomiano, et al.
Published: (2025)

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

Relative operads model $\infty$-operads
by: Arakawa, Kensuke, et al.
Published: (2025)

A double $(\infty,1)$-categorical nerve for double categories
by: Moser, Lyne
Published: (2020)

Discrete homotopy hypothesis for n-types
by: Carranza, Daniel, et al.
Published: (2026)

Model structures for diagrammatic $(\infty, n)$-categories
by: Chanavat, Clémence, et al.
Published: (2024)

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

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