Enriched structure-semantics adjunctions and monad-theory equivalences for subcategories of arities
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | Lucyshyn-Wright, Rory B. B., Parker, Jason |
|---|---|
| Format: | Preprint |
| Publié: |
2023
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
Relative monadicity
par: Arkor, Nathanael, et autres
Publié: (2023)
par: Arkor, Nathanael, et autres
Publié: (2023)
The nerve theorem for relative monads
par: Arkor, Nathanael, et autres
Publié: (2024)
par: Arkor, Nathanael, et autres
Publié: (2024)
Enhanced $2$-categories of models of sketches as enhanced $2$-categories of algebras over monads
par: Ko, Joanna
Publié: (2026)
par: Ko, Joanna
Publié: (2026)
What is the universal property of the 2-category of monads?
par: Lack, Stephen, et autres
Publié: (2022)
par: Lack, Stephen, et autres
Publié: (2022)
The formal theory of relative monads
par: Arkor, Nathanael, et autres
Publié: (2023)
par: Arkor, Nathanael, et autres
Publié: (2023)
Limits in dagger categories
par: Heunen, Chris, et autres
Publié: (2018)
par: Heunen, Chris, et autres
Publié: (2018)
The powerset monad on quantale-valued sets
par: Shen, Lili, et autres
Publié: (2023)
par: Shen, Lili, et autres
Publié: (2023)
Introductory notes on real-enriched categories
par: Zhang, Dexue
Publié: (2024)
par: Zhang, Dexue
Publié: (2024)
Parametric Distributive Laws: uniform monad composition
par: Perticone, Lorenzo
Publié: (2025)
par: Perticone, Lorenzo
Publié: (2025)
Tangentads: a formal approach to tangent categories
par: Lanfranchi, Marcello
Publié: (2025)
par: Lanfranchi, Marcello
Publié: (2025)
V-graded categories and V-W-bigraded categories: Functor categories and bifunctors over non-symmetric bases
par: Lucyshyn-Wright, Rory B. B.
Publié: (2025)
par: Lucyshyn-Wright, Rory B. B.
Publié: (2025)
Idempotence for relative monads
par: Arkor, Nathanael, et autres
Publié: (2025)
par: Arkor, Nathanael, et autres
Publié: (2025)
A Polynomial Construction of Nerves for Higher Categories
par: Shapiro, Brandon T., et autres
Publié: (2024)
par: Shapiro, Brandon T., et autres
Publié: (2024)
More on soundness in the enriched context
par: Tendas, Giacomo
Publié: (2024)
par: Tendas, Giacomo
Publié: (2024)
Enriched positive logic
par: Rosický, Jiří, et autres
Publié: (2025)
par: Rosický, Jiří, et autres
Publié: (2025)
Ultracategories as colax algebras for a pseudo-monad on CAT
par: Hamad, Ali
Publié: (2025)
par: Hamad, Ali
Publié: (2025)
Categories by Kan extension
par: Spivak, David I.
Publié: (2025)
par: Spivak, David I.
Publié: (2025)
Bicategories of algebras for relative pseudomonads
par: Arkor, Nathanael, et autres
Publié: (2025)
par: Arkor, Nathanael, et autres
Publié: (2025)
Enhanced 2-categorical structures, two-dimensional limit sketches and the symmetry of internalisation
par: Arkor, Nathanael, et autres
Publié: (2024)
par: Arkor, Nathanael, et autres
Publié: (2024)
Adjoint functor theorems for lax-idempotent pseudomonads
par: Arkor, Nathanael, et autres
Publié: (2023)
par: Arkor, Nathanael, et autres
Publié: (2023)
Towards enriched universal algebra
par: Rosický, Jiří, et autres
Publié: (2023)
par: Rosický, Jiří, et autres
Publié: (2023)
On the Bénabou-Roubaud theorem
par: Kahn, Bruno
Publié: (2024)
par: Kahn, Bruno
Publié: (2024)
Traced Monads and Hopf Monads
par: Hasegawa, Masahito, et autres
Publié: (2022)
par: Hasegawa, Masahito, et autres
Publié: (2022)
Lax structures in 2-category theory
par: Štěpán, Miloslav
Publié: (2025)
par: Štěpán, Miloslav
Publié: (2025)
Morita theory for quantales
par: Mesablishvili, Bachuki
Publié: (2025)
par: Mesablishvili, Bachuki
Publié: (2025)
Commutation of Smyth and Hoare Power Constructions in Well-filtered Dcpos
par: Hou, Huijun, et autres
Publié: (2023)
par: Hou, Huijun, et autres
Publié: (2023)
Ultracategories via Kan extensions of relative monads
par: Tarantino, Umberto, et autres
Publié: (2025)
par: Tarantino, Umberto, et autres
Publié: (2025)
Revisiting Hugo Volger's paper Uber die Existenz der freien Algebren
par: Menni, Matias, et autres
Publié: (2024)
par: Menni, Matias, et autres
Publié: (2024)
Dualities in the theory of accessible categories
par: Tendas, Giacomo
Publié: (2023)
par: Tendas, Giacomo
Publié: (2023)
Differential torsion theories on Eilenberg-Moore categories of monads
par: Ahuja, Divya, et autres
Publié: (2024)
par: Ahuja, Divya, et autres
Publié: (2024)
A finite algebraic presentation of Lawvere theories in the object-classifier topos
par: Fiore, Marcelo, et autres
Publié: (2024)
par: Fiore, Marcelo, et autres
Publié: (2024)
On Naturally and Weakly Mal'tsev Categories
par: Martins-Ferreira, Nelson
Publié: (2025)
par: Martins-Ferreira, Nelson
Publié: (2025)
Lifting twisted coreflections against delta lenses
par: Clarke, Bryce
Publié: (2024)
par: Clarke, Bryce
Publié: (2024)
The Lawvere condition
par: Martins-Ferreira, Nelson
Publié: (2025)
par: Martins-Ferreira, Nelson
Publié: (2025)
Kan extensions are partial colimits
par: Perrone, Paolo, et autres
Publié: (2021)
par: Perrone, Paolo, et autres
Publié: (2021)
Comonadic approach to pretorsion theories
par: Caviglia, Elena, et autres
Publié: (2026)
par: Caviglia, Elena, et autres
Publié: (2026)
Familial Monads as Higher Category Theories
par: Shapiro, Brandon
Publié: (2021)
par: Shapiro, Brandon
Publié: (2021)
Birkhoff's variety theorem for relative algebraic theories
par: Kawase, Yuto
Publié: (2023)
par: Kawase, Yuto
Publié: (2023)
On $2$-categorical $\infty$-cosmoi
par: Bourke, John, et autres
Publié: (2023)
par: Bourke, John, et autres
Publié: (2023)
Monads in 2-categories
par: Fairbanks, Aaron David
Publié: (2026)
par: Fairbanks, Aaron David
Publié: (2026)
Documents similaires
-
Relative monadicity
par: Arkor, Nathanael, et autres
Publié: (2023) -
The nerve theorem for relative monads
par: Arkor, Nathanael, et autres
Publié: (2024) -
Enhanced $2$-categories of models of sketches as enhanced $2$-categories of algebras over monads
par: Ko, Joanna
Publié: (2026) -
What is the universal property of the 2-category of monads?
par: Lack, Stephen, et autres
Publié: (2022) -
The formal theory of relative monads
par: Arkor, Nathanael, et autres
Publié: (2023)