Imagen de Portada

Directed univalence in simplicial homotopy type theory

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Gratzer, Daniel, Weinberger, Jonathan, Buchholtz, Ulrik
Formato:	Preprint
Publicado:	2024
Materias:	Logic in Computer Science Algebraic Topology Category Theory 03B38, 18N60, 18D30, 18B50, 18N45, 55U35, 18N50 F.4.1
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Generalized Chevalley criteria in simplicial homotopy type theory
por: Weinberger, Jonathan
Publicado: (2024)

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

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

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

Synthetic perspectives on spaces and categories
por: Riehl, Emily
Publicado: (2025)

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

Culf maps and edgewise subdivision
por: Hackney, Philip, et al.
Publicado: (2022)

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

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

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

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

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

Calculus of Fractions for Quasicategories
por: Carranza, Daniel, et al.
Publicado: (2023)

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

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

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

Beck-Chevalley Conditions in Simplicial Sets
por: Chakhvashvili, Gaga
Publicado: (2025)

Arboreal Objects and Their Homotopy Theory
por: Kaygun, Atabey
Publicado: (2026)

A modern perspective on rational homotopy theory
por: Chatzitheodoridis, Eleftherios
Publicado: (2025)

On duoidal $\infty$-categories
por: Torii, Takeshi
Publicado: (2021)

Cech cohomology of partially ordered sets
por: Husainov, Ahmet A.
Publicado: (2023)

Pre-Lie algebras up to homotopy with divided powers and homotopy of operadic mapping spaces
por: Verstraete, Marvin
Publicado: (2025)

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

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

On tested Bousfield-Friedlander localizations
por: Taggart, Niall
Publicado: (2025)

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

Examples and cofibrant generation of effective Kan fibrations
por: Berg, Benno van den, et al.
Publicado: (2024)

Non-Standard Models of Homotopy Type Theory
por: Rasekh, Nima
Publicado: (2025)

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

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

Smooth and Proper Maps
por: Anel, Mathieu, et al.
Publicado: (2024)

Filter Quotient Model Structures
por: Rasekh, Nima
Publicado: (2025)

Multiplicative structures on comodules in higher categories
por: Torii, Takeshi
Publicado: (2025)

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

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

Constructing Reedy Fibrant Replacements of Projective Fibrant Simplicial Presheaves
por: Romö, Jack
Publicado: (2025)

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

Non-accessible localizations
por: Christensen, J. Daniel
Publicado: (2021)

Combinatorial model categories are equivalent to presentable quasicategories
por: Pavlov, Dmitri
Publicado: (2021)