Cover Image

A short proof of the Frobenius property for generic fibrations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Barton, Reid
Format:	Preprint
Published:	2024
Subjects:	Category Theory 18N45
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

A comonad for Grothendieck fibrations
by: Emmenegger, Jacopo, et al.
Published: (2023)

A short proof of the straightening theorem
by: Hebestreit, Fabian, et al.
Published: (2021)

Cosmological Unstraightening
by: Rasekh, Nima
Published: (2025)

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

A short proof of the universality of the relative Rezk nerve
by: Arakawa, Kensuke, et al.
Published: (2025)

Inner automorphisms as 2-cells
by: Hofstra, Pieter, et al.
Published: (2024)

Inner autoequivalences in general and those of monoidal categories in particular
by: Hofstra, Pieter, et al.
Published: (2022)

Limits and colimits of synthetic $\infty$-categories
by: Martínez, César Bardomiano
Published: (2022)

A straightening-unstraightening equivalence for $\infty$-operads
by: Pratali, Francesca
Published: (2025)

Pretriangulated 2-representations via dg algebra 1-morphisms
by: Laugwitz, Robert, et al.
Published: (2022)

Differential graded cell 2-representations
by: Laugwitz, Robert, et al.
Published: (2022)

A model structure for Grothendieck fibrations
by: Moser, Lyne, et al.
Published: (2023)

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

String diagrams for $4$-categories and fibrations of mapping $4$-groupoids
by: Araújo, Manuel
Published: (2020)

Higher holonomy for curved L${}_\infty$-algebras 1: simplicial methods
by: Getzler, Ezra
Published: (2024)

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

Virtual double categories of split two-sided 2-fibrations
by: Koudenburg, Seerp Roald
Published: (2026)

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

A Computational Approach to the Homotopy Theory of DG categories
by: Karabas, Dogancan, et al.
Published: (2024)

Consciousness in a Higher Categorical Context
by: Gauthier, Renaud
Published: (2026)

Homotopy structures realizing algebraic kk-theory
by: Ellis, Eugenia, et al.
Published: (2024)

Cartesian Linearly Distributive Categories: Revisited
by: Kudzman-Blais, Rose, et al.
Published: (2025)

Linearly Distributive Fox Theorem
by: Kudzman-Blais, Rose
Published: (2025)

Diagrammatics for lax and Frobenius monoidal functors and weak morphism classifiers
by: Langlois-Rémillard, Alexis, et al.
Published: (2026)

Culf maps and edgewise subdivision
by: Hackney, Philip, et al.
Published: (2022)

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

Extensional concepts in intensional type theory, revisited
by: Kapulkin, Chris, et al.
Published: (2023)

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

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

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

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

Key lemma and universal localization
by: Hinich, Vladimir
Published: (2024)

Gray (skew) multicategories: double and Gray-categorical cases
by: Femić, Bojana
Published: (2024)

Computads and string diagrams for $n$-sesquicategories
by: Araújo, Manuel
Published: (2022)

Weakly invertible cells in a weak $ω$-category
by: Fujii, Soichiro, et al.
Published: (2023)

Generalization of formal monad theory to lax functors
by: Hirata, Kengo
Published: (2023)

The category of necklaces is Reedy monoidal
by: Marques, Violeta Borges, et al.
Published: (2023)

Examples and cofibrant generation of effective Kan fibrations
by: Berg, Benno van den, et al.
Published: (2024)

Some properties of the A$_{\infty}$-nerve
by: Ornaghi, Mattia
Published: (2016)