Buchumschlag

Generalized Chevalley criteria in simplicial homotopy type theory

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Weinberger, Jonathan
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Category Theory Logic in Computer Science Algebraic Topology Logic 03B38, 18N50, 18N60, 18N45, 55U35, 18D30 F.4.1
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Directed univalence in simplicial homotopy type theory
von: Gratzer, Daniel, et al.
Veröffentlicht: (2024)

The Yoneda embedding in simplicial type theory
von: Gratzer, Daniel, et al.
Veröffentlicht: (2025)

Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories
von: Weinberger, Jonathan
Veröffentlicht: (2022)

On the $\infty$-topos semantics of homotopy type theory
von: Riehl, Emily
Veröffentlicht: (2022)

Internal sums for synthetic fibered $(\infty,1)$-categories
von: Weinberger, Jonathan
Veröffentlicht: (2022)

Synthetic perspectives on spaces and categories
von: Riehl, Emily
Veröffentlicht: (2025)

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

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

Smooth and Proper Maps
von: Anel, Mathieu, et al.
Veröffentlicht: (2024)

Generalizing quasi-categories via model structures on simplicial sets
von: Feller, Matthew
Veröffentlicht: (2021)

Non-accessible localizations
von: Christensen, J. Daniel
Veröffentlicht: (2021)

A 2-categorical approach to the semantics of dependent type theory with computation axioms
von: Spadetto, Matteo
Veröffentlicht: (2025)

Homotopy Languages
von: Martínez, César Bardomiano, et al.
Veröffentlicht: (2025)

Calculus of Fractions for Quasicategories
von: Carranza, Daniel, et al.
Veröffentlicht: (2023)

Culf maps and edgewise subdivision
von: Hackney, Philip, et al.
Veröffentlicht: (2022)

$(\infty,1)$-Categorical Comprehension Schemes
von: Stenzel, Raffael
Veröffentlicht: (2020)

Kripke-Joyal forcing for type theory and uniform fibrations
von: Awodey, S., et al.
Veröffentlicht: (2021)

A homotopy coherent nerve for $(\infty,n)$-categories
von: Moser, Lyne, et al.
Veröffentlicht: (2022)

Abstract Excision and $\ell^1$-Homology
von: Witzig, Johannes
Veröffentlicht: (2022)

Diagonal Lemma for Presheaves on Eilenberg-Zilber Categories
von: Carranza, Daniel, et al.
Veröffentlicht: (2023)

Simplicial sets in topology, category theory, and beyond
von: Bergner, Julia E.
Veröffentlicht: (2024)

A modern perspective on rational homotopy theory
von: Chatzitheodoridis, Eleftherios
Veröffentlicht: (2025)

Derived mapping spaces of $\infty$-categories
von: Arakawa, Kensuke, et al.
Veröffentlicht: (2025)

Double categorical model of $(\infty,1)$-categories
von: Guetta, Léonard, et al.
Veröffentlicht: (2024)

Diagrammatic sets as a model of homotopy types
von: Chanavat, Clémence, et al.
Veröffentlicht: (2024)

Non-Standard Models of Homotopy Type Theory
von: Rasekh, Nima
Veröffentlicht: (2025)

Simplicial Homotopy Type Theory is not just Simplicial: What are $\infty$-Categories?
von: Rasekh, Nima
Veröffentlicht: (2025)

$(\infty,n)$-Limits II: Comparison across models
von: Moser, Lyne, et al.
Veröffentlicht: (2024)

Modeling $(\infty,1)$-categories with Segal spaces
von: Moser, Lyne, et al.
Veröffentlicht: (2024)

Cartesian Fibrations of $(\infty,2)$-categories
von: Gagna, Andrea, et al.
Veröffentlicht: (2021)

Symmetry in the cubical Joyal model structure
von: Doherty, Brandon
Veröffentlicht: (2024)

A Model Independent Universal Property for the Lax 2-Functor Classifier
von: Gloßner, Johannes
Veröffentlicht: (2025)

Models for rational $(\infty, 1)$-categories
von: Chatzitheodoridis, Eleftherios
Veröffentlicht: (2025)

Model structures for diagrammatic $(\infty, n)$-categories
von: Chanavat, Clémence, et al.
Veröffentlicht: (2024)

Sketchable infinity categories
von: Casacuberta, Carles, et al.
Veröffentlicht: (2025)

Cech cohomology of partially ordered sets
von: Husainov, Ahmet A.
Veröffentlicht: (2023)

On duoidal $\infty$-categories
von: Torii, Takeshi
Veröffentlicht: (2021)

Projective Presentations of Lex Modalities
von: Williams, Mark Damuni
Veröffentlicht: (2025)

Extensional concepts in intensional type theory, revisited
von: Kapulkin, Chris, et al.
Veröffentlicht: (2023)

Combinatorial model categories are equivalent to presentable quasicategories
von: Pavlov, Dmitri
Veröffentlicht: (2021)