Free extensivity via distributivity
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | Nunes, Fernando Lucatelli, Prezado, Rui, Vákár, Matthijs |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Ähnliche Einträge
Generalized multicategories: change-of-base, embedding, and descent
von: Prezado, Rui, et al.
Veröffentlicht: (2023)
von: Prezado, Rui, et al.
Veröffentlicht: (2023)
Functors Preserving Effective Descent Morphisms
von: Nunes, Fernando Lucatelli, et al.
Veröffentlicht: (2024)
von: Nunes, Fernando Lucatelli, et al.
Veröffentlicht: (2024)
Free Doubly-Infinitary Distributive Categories are Cartesian Closed
von: Nunes, Fernando Lucatelli, et al.
Veröffentlicht: (2024)
von: Nunes, Fernando Lucatelli, et al.
Veröffentlicht: (2024)
Lax comma categories: cartesian closedness, extensivity, topologicity, and descent
von: Clementino, Maria Manuel, et al.
Veröffentlicht: (2024)
von: Clementino, Maria Manuel, et al.
Veröffentlicht: (2024)
On effective descent $\mathcal V$-functors and familial descent morphisms
von: Prezado, Rui
Veröffentlicht: (2023)
von: Prezado, Rui
Veröffentlicht: (2023)
Colimits in 2-dimensional slices
von: Mesiti, Luca
Veröffentlicht: (2023)
von: Mesiti, Luca
Veröffentlicht: (2023)
Kan extensions are partial colimits
von: Perrone, Paolo, et al.
Veröffentlicht: (2021)
von: Perrone, Paolo, et al.
Veröffentlicht: (2021)
KZ-pseudomonads and Kan Injectivity
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2022)
von: Di Liberti, Ivan, et al.
Veröffentlicht: (2022)
Familial Monads as Higher Category Theories
von: Shapiro, Brandon
Veröffentlicht: (2021)
von: Shapiro, Brandon
Veröffentlicht: (2021)
Adjoint functor theorems for lax-idempotent pseudomonads
von: Arkor, Nathanael, et al.
Veröffentlicht: (2023)
von: Arkor, Nathanael, et al.
Veröffentlicht: (2023)
Lax structures in 2-category theory
von: Štěpán, Miloslav
Veröffentlicht: (2025)
von: Štěpán, Miloslav
Veröffentlicht: (2025)
Transposing cartesian and other structure in double categories
von: Patterson, Evan
Veröffentlicht: (2024)
von: Patterson, Evan
Veröffentlicht: (2024)
Symmetric monoidal extensions and graph cobordisms between finite sets
von: Bianchi, Andrea
Veröffentlicht: (2025)
von: Bianchi, Andrea
Veröffentlicht: (2025)
Nerves of generalized multicategories
von: Fujii, Soichiro, et al.
Veröffentlicht: (2025)
von: Fujii, Soichiro, et al.
Veröffentlicht: (2025)
Lifting twisted coreflections against delta lenses
von: Clarke, Bryce
Veröffentlicht: (2024)
von: Clarke, Bryce
Veröffentlicht: (2024)
The $(\infty,2)$-category of internal $(\infty,1)$-categories
von: Stenzel, Raffael
Veröffentlicht: (2024)
von: Stenzel, Raffael
Veröffentlicht: (2024)
Bicategories of algebras for relative pseudomonads
von: Arkor, Nathanael, et al.
Veröffentlicht: (2025)
von: Arkor, Nathanael, et al.
Veröffentlicht: (2025)
Presheaves and cocompletions in formal category theory
von: Arkor, Nathanael, et al.
Veröffentlicht: (2026)
von: Arkor, Nathanael, et al.
Veröffentlicht: (2026)
$(\infty,n)$-Limits I: Definition and first consistency results
von: Moser, Lyne, et al.
Veröffentlicht: (2023)
von: Moser, Lyne, et al.
Veröffentlicht: (2023)
What is the universal property of the 2-category of monads?
von: Lack, Stephen, et al.
Veröffentlicht: (2022)
von: Lack, Stephen, et al.
Veröffentlicht: (2022)
The formal theory of relative monads
von: Arkor, Nathanael, et al.
Veröffentlicht: (2023)
von: Arkor, Nathanael, et al.
Veröffentlicht: (2023)
On Étale Algebras and Bosonic Fusion 2-Categories
von: Xu, Hao
Veröffentlicht: (2024)
von: Xu, Hao
Veröffentlicht: (2024)
Exponentiable virtual double categories and presheaves for double categories
von: Arkor, Nathanael
Veröffentlicht: (2025)
von: Arkor, Nathanael
Veröffentlicht: (2025)
The Grothendieck construction for delta lenses
von: Clarke, Bryce
Veröffentlicht: (2025)
von: Clarke, Bryce
Veröffentlicht: (2025)
The algebraic internal groupoid model of Martin-Löf type theory
von: Hughes, Calum
Veröffentlicht: (2025)
von: Hughes, Calum
Veröffentlicht: (2025)
$(\infty,n)$-Limits II: Comparison across models
von: Moser, Lyne, et al.
Veröffentlicht: (2024)
von: Moser, Lyne, et al.
Veröffentlicht: (2024)
Relative monadicity
von: Arkor, Nathanael, et al.
Veröffentlicht: (2023)
von: Arkor, Nathanael, et al.
Veröffentlicht: (2023)
Effective descent morphisms of ordered families
von: Clementino, Maria Manuel, et al.
Veröffentlicht: (2024)
von: Clementino, Maria Manuel, et al.
Veröffentlicht: (2024)
Pointwise Kan extensions along 2-fibrations and the 2-category of elements
von: Mesiti, Luca
Veröffentlicht: (2023)
von: Mesiti, Luca
Veröffentlicht: (2023)
Products in double categories, revisited
von: Patterson, Evan
Veröffentlicht: (2024)
von: Patterson, Evan
Veröffentlicht: (2024)
The nerve theorem for relative monads
von: Arkor, Nathanael, et al.
Veröffentlicht: (2024)
von: Arkor, Nathanael, et al.
Veröffentlicht: (2024)
Homologie polygraphique des systèmes locaux
von: Guetta, Léonard, et al.
Veröffentlicht: (2023)
von: Guetta, Léonard, et al.
Veröffentlicht: (2023)
Indexed Grothendieck construction
von: Caviglia, Elena, et al.
Veröffentlicht: (2023)
von: Caviglia, Elena, et al.
Veröffentlicht: (2023)
A Polynomial Construction of Nerves for Higher Categories
von: Shapiro, Brandon T., et al.
Veröffentlicht: (2024)
von: Shapiro, Brandon T., et al.
Veröffentlicht: (2024)
Lax functorialities of the comma construction for $ω$-categories
von: Ara, Dimitri, et al.
Veröffentlicht: (2025)
von: Ara, Dimitri, et al.
Veröffentlicht: (2025)
Exponentiable Virtual Double Categories and Representability of Exponentials
von: Carlson, Kevin D., et al.
Veröffentlicht: (2026)
von: Carlson, Kevin D., et al.
Veröffentlicht: (2026)
Very-Well-Behaved Epireflections for Categories of Models of Sketches
von: Xarez, João J.
Veröffentlicht: (2025)
von: Xarez, João J.
Veröffentlicht: (2025)
Formal category theory in $\infty$-equipments I
von: Ruit, Jaco
Veröffentlicht: (2023)
von: Ruit, Jaco
Veröffentlicht: (2023)
Formal category theory in $\infty$-equipments II: Lax functors, monoidality and fibrations
von: Ruit, Jaco
Veröffentlicht: (2024)
von: Ruit, Jaco
Veröffentlicht: (2024)
Enhanced $2$-categories of models of sketches as enhanced $2$-categories of algebras over monads
von: Ko, Joanna
Veröffentlicht: (2026)
von: Ko, Joanna
Veröffentlicht: (2026)
Ähnliche Einträge
-
Generalized multicategories: change-of-base, embedding, and descent
von: Prezado, Rui, et al.
Veröffentlicht: (2023) -
Functors Preserving Effective Descent Morphisms
von: Nunes, Fernando Lucatelli, et al.
Veröffentlicht: (2024) -
Free Doubly-Infinitary Distributive Categories are Cartesian Closed
von: Nunes, Fernando Lucatelli, et al.
Veröffentlicht: (2024) -
Lax comma categories: cartesian closedness, extensivity, topologicity, and descent
von: Clementino, Maria Manuel, et al.
Veröffentlicht: (2024) -
On effective descent $\mathcal V$-functors and familial descent morphisms
von: Prezado, Rui
Veröffentlicht: (2023)