Cover Image

A 2-categorical proof of Frobenius for fibrations defined from a generic point

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Hazratpour, Sina, Riehl, Emily
Format:	Preprint
Published:	2022
Subjects:	Category Theory Algebraic Topology Logic 18N45, 18N40, 03B38, 55U35
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Synthetic perspectives on spaces and categories
by: Riehl, Emily
Published: (2025)

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

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

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

Generalized Chevalley criteria in simplicial homotopy type theory
by: Weinberger, Jonathan
Published: (2024)

Pushouts of Dwyer maps are $(\infty,1)$-categorical
by: Hackney, Philip, et al.
Published: (2022)

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

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

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

Double categorical equivalences
by: Moser, Lyne, et al.
Published: (2025)

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

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

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

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

Non-accessible localizations
by: Christensen, J. Daniel
Published: (2021)

A simple characterization of Quillen adjunctions
by: Carmona, Victor
Published: (2024)

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

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

Fibrantly-transferred model structures
by: Guetta, Léonard, et al.
Published: (2023)

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

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

Symmetry in the cubical Joyal model structure
by: Doherty, Brandon
Published: (2024)

Calculus of Fractions for Quasicategories
by: Carranza, Daniel, et al.
Published: (2023)

Discrete homotopy hypothesis for n-types
by: Carranza, Daniel, et al.
Published: (2026)

Classification diagrams of simplicial categories
by: Arakawa, Kensuke
Published: (2024)

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

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

A short proof that Rezk's nerve is fully faithful
by: Hebestreit, Fabian, et al.
Published: (2023)

Models for cyclic infinity operads
by: Doherty, Brandon, et al.
Published: (2025)

Gray products of diagrammatic $(\infty, n)$-categories
by: Chanavat, Clémence
Published: (2025)

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

Homotopy $n$-types of cubical sets and graphs
by: Kapulkin, Chris, et al.
Published: (2024)

Cubical setting for discrete homotopy theory, revisited
by: Carranza, Daniel, et al.
Published: (2022)

Cofibration category of digraphs for path homology
by: Carranza, Daniel, et al.
Published: (2022)

Pushforwards in Inverse Homotopical Diagrams
by: Kapulkin, Chris, et al.
Published: (2025)

Cartesian exponentiation and monadicity
by: Riehl, Emily, et al.
Published: (2021)

A type-theoretic definition of lax $(\infty,\infty)$-limits
by: Mikhail, Thomas Jan
Published: (2024)

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

A pasting theorem for iterated Segal spaces
by: Ruit, Jaco
Published: (2022)

A Model Independent Universal Property for the Lax 2-Functor Classifier
by: Gloßner, Johannes
Published: (2025)