Buchumschlag

Synthetic perspectives on spaces and categories

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Riehl, Emily
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Category Theory Algebraic Topology Logic 18N60, 18N45, 55U35, 03B38
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

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

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

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

Generalized Chevalley criteria in simplicial homotopy type theory
von: Weinberger, Jonathan
Veröffentlicht: (2024)

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

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

Pushouts of Dwyer maps are $(\infty,1)$-categorical
von: Hackney, Philip, et al.
Veröffentlicht: (2022)

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

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

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

Exponentiable functors between synthetic $\infty$-categories
von: Bardomiano-Martínez, César
Veröffentlicht: (2024)

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

Classification diagrams of simplicial categories
von: Arakawa, Kensuke
Veröffentlicht: (2024)

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

Cores and localizations of $(\infty,\infty)$-categories
von: Ozornova, Viktoriya, et al.
Veröffentlicht: (2026)

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

A short proof that Rezk's nerve is fully faithful
von: Hebestreit, Fabian, et al.
Veröffentlicht: (2023)

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

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

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

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

Free colimit completion in $\infty$-categories
von: Rezk, Charles
Veröffentlicht: (2022)

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

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

Towards 2-derivators for formal $\infty$-category theory
von: Di Vittorio, Nicola
Veröffentlicht: (2023)

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

A double $(\infty,1)$-categorical nerve for double categories
von: Moser, Lyne
Veröffentlicht: (2020)

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

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

A simple characterization of Quillen adjunctions
von: Carmona, Victor
Veröffentlicht: (2024)

Presentation of finite Reedy categories as localizations of finite direct categories
von: Sato, Genki
Veröffentlicht: (2025)

Classification Diagrams of Marked Simplicial Sets
von: Arakawa, Kensuke
Veröffentlicht: (2023)

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

A pasting theorem for iterated Segal spaces
von: Ruit, Jaco
Veröffentlicht: (2022)

Equivalence of cubical and simplicial approaches to $(\infty,n)$-categories
von: Doherty, Brandon, et al.
Veröffentlicht: (2021)

Pushforwards in Inverse Homotopical Diagrams
von: Kapulkin, Chris, et al.
Veröffentlicht: (2025)

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

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

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