Imagen de Portada

Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Weinberger, Jonathan
Formato:	Preprint
Publicado:	2022
Materias:	Category Theory Logic in Computer Science Algebraic Topology Logic 18N60, 03B38, 18D30, 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

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

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)

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

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

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)

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

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

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

$(\infty,1)$-Categorical Comprehension Schemes
por: Stenzel, Raffael
Publicado: (2020)

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

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

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

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)

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

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

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

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

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

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

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

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

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

Free colimit completion in $\infty$-categories
por: Rezk, Charles
Publicado: (2022)

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

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

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

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

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

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

Sketchable infinity categories
por: Casacuberta, Carles, et al.
Publicado: (2025)

Kripke-Joyal forcing for type theory and uniform fibrations
por: Awodey, S., et al.
Publicado: (2021)

Presentation of finite Reedy categories as localizations of finite direct categories
por: Sato, Genki
Publicado: (2025)

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

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

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

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

Formal category theory in $\infty$-equipments II: Lax functors, monoidality and fibrations
por: Ruit, Jaco
Publicado: (2024)