Image de couverture de livre

Internal sums for synthetic fibered $(\infty,1)$-categories

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Weinberger, Jonathan
Format:	Preprint
Publié:	2022
Sujets:	Category Theory Logic in Computer Science Algebraic Topology Logic 03B38, 18N60, 18D30, 18B50, 18N45, 55U35, 18N50 F.4.1
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories
par: Weinberger, Jonathan
Publié: (2022)

Generalized Chevalley criteria in simplicial homotopy type theory
par: Weinberger, Jonathan
Publié: (2024)

On the $\infty$-topos semantics of homotopy type theory
par: Riehl, Emily
Publié: (2022)

Directed univalence in simplicial homotopy type theory
par: Gratzer, Daniel, et autres
Publié: (2024)

The Yoneda embedding in simplicial type theory
par: Gratzer, Daniel, et autres
Publié: (2025)

Synthetic perspectives on spaces and categories
par: Riehl, Emily
Publié: (2025)

A 2-categorical proof of Frobenius for fibrations defined from a generic point
par: Hazratpour, Sina, et autres
Publié: (2022)

The biequivalence of path categories and axiomatic Martin-Löf type theories
par: Otten, Daniël, et autres
Publié: (2025)

$(\infty,1)$-Categorical Comprehension Schemes
par: Stenzel, Raffael
Publié: (2020)

Generalizing quasi-categories via model structures on simplicial sets
par: Feller, Matthew
Publié: (2021)

Modeling $(\infty,1)$-categories with Segal spaces
par: Moser, Lyne, et autres
Publié: (2024)

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

Cartesian Fibrations of $(\infty,2)$-categories
par: Gagna, Andrea, et autres
Publié: (2021)

Non-accessible localizations
par: Christensen, J. Daniel
Publié: (2021)

A homotopy coherent nerve for $(\infty,n)$-categories
par: Moser, Lyne, et autres
Publié: (2022)

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

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

On duoidal $\infty$-categories
par: Torii, Takeshi
Publié: (2021)

Calculus of Fractions for Quasicategories
par: Carranza, Daniel, et autres
Publié: (2023)

Culf maps and edgewise subdivision
par: Hackney, Philip, et autres
Publié: (2022)

Smooth and Proper Maps
par: Anel, Mathieu, et autres
Publié: (2024)

Non-Standard Models of Homotopy Type Theory
par: Rasekh, Nima
Publié: (2025)

Models for rational $(\infty, 1)$-categories
par: Chatzitheodoridis, Eleftherios
Publié: (2025)

Simplicial sets in topology, category theory, and beyond
par: Bergner, Julia E.
Publié: (2024)

Derived mapping spaces of $\infty$-categories
par: Arakawa, Kensuke, et autres
Publié: (2025)

Double categorical model of $(\infty,1)$-categories
par: Guetta, Léonard, et autres
Publié: (2024)

Diagonal Lemma for Presheaves on Eilenberg-Zilber Categories
par: Carranza, Daniel, et autres
Publié: (2023)

Map monoidales and duoidal $\infty$-categories
par: Torii, Takeshi
Publié: (2024)

Model structures for diagrammatic $(\infty, n)$-categories
par: Chanavat, Clémence, et autres
Publié: (2024)

Cech cohomology of partially ordered sets
par: Husainov, Ahmet A.
Publié: (2023)

Homotopy Languages
par: Martínez, César Bardomiano, et autres
Publié: (2025)

Combinatorial model categories are equivalent to presentable quasicategories
par: Pavlov, Dmitri
Publié: (2021)

$(\infty,n)$-Limits II: Comparison across models
par: Moser, Lyne, et autres
Publié: (2024)

Cores and localizations of $(\infty,\infty)$-categories
par: Ozornova, Viktoriya, et autres
Publié: (2026)

Free colimit completion in $\infty$-categories
par: Rezk, Charles
Publié: (2022)

Abstract Excision and $\ell^1$-Homology
par: Witzig, Johannes
Publié: (2022)

Multiplicative structures on comodules in higher categories
par: Torii, Takeshi
Publié: (2025)

A type-theoretic definition of lax $(\infty,\infty)$-limits
par: Mikhail, Thomas Jan
Publié: (2024)

Sketchable infinity categories
par: Casacuberta, Carles, et autres
Publié: (2025)

Kripke-Joyal forcing for type theory and uniform fibrations
par: Awodey, S., et autres
Publié: (2021)