Guardado en:
| Autor principal: | Barton, Reid |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | https://arxiv.org/abs/2402.04227 |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
A 2-categorical proof of Frobenius for fibrations defined from a generic point
por: Hazratpour, Sina, et al.
Publicado: (2022)
por: Hazratpour, Sina, et al.
Publicado: (2022)
A comonad for Grothendieck fibrations
por: Emmenegger, Jacopo, et al.
Publicado: (2023)
por: Emmenegger, Jacopo, et al.
Publicado: (2023)
A short proof of the straightening theorem
por: Hebestreit, Fabian, et al.
Publicado: (2021)
por: Hebestreit, Fabian, et al.
Publicado: (2021)
Kripke-Joyal forcing for type theory and uniform fibrations
por: Awodey, S., et al.
Publicado: (2021)
por: Awodey, S., et al.
Publicado: (2021)
Cosmological Unstraightening
por: Rasekh, Nima
Publicado: (2025)
por: Rasekh, Nima
Publicado: (2025)
A short proof of the universality of the relative Rezk nerve
por: Arakawa, Kensuke, et al.
Publicado: (2025)
por: Arakawa, Kensuke, et al.
Publicado: (2025)
Limits and colimits of synthetic $\infty$-categories
por: Martínez, César Bardomiano
Publicado: (2022)
por: Martínez, César Bardomiano
Publicado: (2022)
Inner automorphisms as 2-cells
por: Hofstra, Pieter, et al.
Publicado: (2024)
por: Hofstra, Pieter, et al.
Publicado: (2024)
Inner autoequivalences in general and those of monoidal categories in particular
por: Hofstra, Pieter, et al.
Publicado: (2022)
por: Hofstra, Pieter, et al.
Publicado: (2022)
A straightening-unstraightening equivalence for $\infty$-operads
por: Pratali, Francesca
Publicado: (2025)
por: Pratali, Francesca
Publicado: (2025)
Pretriangulated 2-representations via dg algebra 1-morphisms
por: Laugwitz, Robert, et al.
Publicado: (2022)
por: Laugwitz, Robert, et al.
Publicado: (2022)
Differential graded cell 2-representations
por: Laugwitz, Robert, et al.
Publicado: (2022)
por: Laugwitz, Robert, et al.
Publicado: (2022)
Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories
por: Weinberger, Jonathan
Publicado: (2022)
por: Weinberger, Jonathan
Publicado: (2022)
Higher holonomy for curved L${}_\infty$-algebras 1: simplicial methods
por: Getzler, Ezra
Publicado: (2024)
por: Getzler, Ezra
Publicado: (2024)
A short proof that Rezk's nerve is fully faithful
por: Hebestreit, Fabian, et al.
Publicado: (2023)
por: Hebestreit, Fabian, et al.
Publicado: (2023)
A model structure for Grothendieck fibrations
por: Moser, Lyne, et al.
Publicado: (2023)
por: Moser, Lyne, et al.
Publicado: (2023)
Diagonal Lemma for Presheaves on Eilenberg-Zilber Categories
por: Carranza, Daniel, et al.
Publicado: (2023)
por: Carranza, Daniel, et al.
Publicado: (2023)
A Computational Approach to the Homotopy Theory of DG categories
por: Karabas, Dogancan, et al.
Publicado: (2024)
por: Karabas, Dogancan, et al.
Publicado: (2024)
Homotopy structures realizing algebraic kk-theory
por: Ellis, Eugenia, et al.
Publicado: (2024)
por: Ellis, Eugenia, et al.
Publicado: (2024)
String diagrams for $4$-categories and fibrations of mapping $4$-groupoids
por: Araújo, Manuel
Publicado: (2020)
por: Araújo, Manuel
Publicado: (2020)
Consciousness in a Higher Categorical Context
por: Gauthier, Renaud
Publicado: (2026)
por: Gauthier, Renaud
Publicado: (2026)
Culf maps and edgewise subdivision
por: Hackney, Philip, et al.
Publicado: (2022)
por: Hackney, Philip, et al.
Publicado: (2022)
Virtual double categories of split two-sided 2-fibrations
por: Koudenburg, Seerp Roald
Publicado: (2026)
por: Koudenburg, Seerp Roald
Publicado: (2026)
Exponentiable functors between synthetic $\infty$-categories
por: Bardomiano-Martínez, César
Publicado: (2024)
por: Bardomiano-Martínez, César
Publicado: (2024)
On the $\infty$-topos semantics of homotopy type theory
por: Riehl, Emily
Publicado: (2022)
por: Riehl, Emily
Publicado: (2022)
Diagrammatics for lax and Frobenius monoidal functors and weak morphism classifiers
por: Langlois-Rémillard, Alexis, et al.
Publicado: (2026)
por: Langlois-Rémillard, Alexis, et al.
Publicado: (2026)
Extensional concepts in intensional type theory, revisited
por: Kapulkin, Chris, et al.
Publicado: (2023)
por: Kapulkin, Chris, et al.
Publicado: (2023)
Pushforwards in Inverse Homotopical Diagrams
por: Kapulkin, Chris, et al.
Publicado: (2025)
por: Kapulkin, Chris, et al.
Publicado: (2025)
Synthetic perspectives on spaces and categories
por: Riehl, Emily
Publicado: (2025)
por: Riehl, Emily
Publicado: (2025)
Homotopy Languages
por: Martínez, César Bardomiano, et al.
Publicado: (2025)
por: Martínez, César Bardomiano, et al.
Publicado: (2025)
Cartesian Linearly Distributive Categories: Revisited
por: Kudzman-Blais, Rose, et al.
Publicado: (2025)
por: Kudzman-Blais, Rose, et al.
Publicado: (2025)
Linearly Distributive Fox Theorem
por: Kudzman-Blais, Rose
Publicado: (2025)
por: Kudzman-Blais, Rose
Publicado: (2025)
The category of necklaces is Reedy monoidal
por: Marques, Violeta Borges, et al.
Publicado: (2023)
por: Marques, Violeta Borges, et al.
Publicado: (2023)
Examples and cofibrant generation of effective Kan fibrations
por: Berg, Benno van den, et al.
Publicado: (2024)
por: Berg, Benno van den, et al.
Publicado: (2024)
Dagger $n$-categories
por: Ferrer, Giovanni, et al.
Publicado: (2024)
por: Ferrer, Giovanni, et al.
Publicado: (2024)
Homotopy $n$-types of cubical sets and graphs
por: Kapulkin, Chris, et al.
Publicado: (2024)
por: Kapulkin, Chris, et al.
Publicado: (2024)
Cubical setting for discrete homotopy theory, revisited
por: Carranza, Daniel, et al.
Publicado: (2022)
por: Carranza, Daniel, et al.
Publicado: (2022)
Cofibration category of digraphs for path homology
por: Carranza, Daniel, et al.
Publicado: (2022)
por: Carranza, Daniel, et al.
Publicado: (2022)
A 2-categorical analysis of context comprehension
por: Coraglia, Greta, et al.
Publicado: (2024)
por: Coraglia, Greta, et al.
Publicado: (2024)
The Frobenius equivalence and Beck-Chevalley condition for Algebraic Weak Factorisation Systems
por: van Woerkom, Wijnand, et al.
Publicado: (2024)
por: van Woerkom, Wijnand, et al.
Publicado: (2024)
Ejemplares similares
-
A 2-categorical proof of Frobenius for fibrations defined from a generic point
por: Hazratpour, Sina, et al.
Publicado: (2022) -
A comonad for Grothendieck fibrations
por: Emmenegger, Jacopo, et al.
Publicado: (2023) -
A short proof of the straightening theorem
por: Hebestreit, Fabian, et al.
Publicado: (2021) -
Kripke-Joyal forcing for type theory and uniform fibrations
por: Awodey, S., et al.
Publicado: (2021) -
Cosmological Unstraightening
por: Rasekh, Nima
Publicado: (2025)