Copertina

A short proof of the Frobenius property for generic fibrations

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Barton, Reid
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Category Theory 18N45
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

A comonad for Grothendieck fibrations
di: Emmenegger, Jacopo, et al.
Pubblicazione: (2023)

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

Cosmological Unstraightening
di: Rasekh, Nima
Pubblicazione: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Consciousness in a Higher Categorical Context
di: Gauthier, Renaud
Pubblicazione: (2026)

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

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

Linearly Distributive Fox Theorem
di: Kudzman-Blais, Rose
Pubblicazione: (2025)

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

Culf maps and edgewise subdivision
di: Hackney, Philip, et al.
Pubblicazione: (2022)

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

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

Pushforwards in Inverse Homotopical Diagrams
di: Kapulkin, Chris, et al.
Pubblicazione: (2025)

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

Synthetic perspectives on spaces and categories
di: Riehl, Emily
Pubblicazione: (2025)

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

Key lemma and universal localization
di: Hinich, Vladimir
Pubblicazione: (2024)

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

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

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

Generalization of formal monad theory to lax functors
di: Hirata, Kengo
Pubblicazione: (2023)

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

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

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