Commutation of Smyth and Hoare Power Constructions in Well-filtered Dcpos
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | Hou, Huijun, Li, Qingguo |
|---|---|
| Format: | Preprint |
| Publié: |
2023
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Documents similaires
Idempotence for relative monads
par: Arkor, Nathanael, et autres
Publié: (2025)
par: Arkor, Nathanael, et autres
Publié: (2025)
Enriched structure-semantics adjunctions and monad-theory equivalences for subcategories of arities
par: Lucyshyn-Wright, Rory B. B., et autres
Publié: (2023)
par: Lucyshyn-Wright, Rory B. B., et autres
Publié: (2023)
Parametric Distributive Laws: uniform monad composition
par: Perticone, Lorenzo
Publié: (2025)
par: Perticone, Lorenzo
Publié: (2025)
Introductory notes on real-enriched categories
par: Zhang, Dexue
Publié: (2024)
par: Zhang, Dexue
Publié: (2024)
More on soundness in the enriched context
par: Tendas, Giacomo
Publié: (2024)
par: Tendas, Giacomo
Publié: (2024)
Ultracategories as colax algebras for a pseudo-monad on CAT
par: Hamad, Ali
Publié: (2025)
par: Hamad, Ali
Publié: (2025)
The powerset monad on quantale-valued sets
par: Shen, Lili, et autres
Publié: (2023)
par: Shen, Lili, et autres
Publié: (2023)
Categories by Kan extension
par: Spivak, David I.
Publié: (2025)
par: Spivak, David I.
Publié: (2025)
Towards enriched universal algebra
par: Rosický, Jiří, et autres
Publié: (2023)
par: Rosický, Jiří, et autres
Publié: (2023)
Tangentads: a formal approach to tangent categories
par: Lanfranchi, Marcello
Publié: (2025)
par: Lanfranchi, Marcello
Publié: (2025)
On representation categories of $A_\infty$-algebras and $A_\infty$-coalgebras
par: Banerjee, Abhishek, et autres
Publié: (2021)
par: Banerjee, Abhishek, et autres
Publié: (2021)
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)
On the Bénabou-Roubaud theorem
par: Kahn, Bruno
Publié: (2024)
par: Kahn, Bruno
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)
A Polynomial Construction of Nerves for Higher Categories
par: Shapiro, Brandon T., et autres
Publié: (2024)
par: Shapiro, Brandon T., et autres
Publié: (2024)
Ultracategories via Kan extensions of relative monads
par: Tarantino, Umberto, et autres
Publié: (2025)
par: Tarantino, Umberto, et autres
Publié: (2025)
Bicategories of algebras for relative pseudomonads
par: Arkor, Nathanael, et autres
Publié: (2025)
par: Arkor, Nathanael, et autres
Publié: (2025)
Limits in dagger categories
par: Heunen, Chris, et autres
Publié: (2018)
par: Heunen, Chris, et autres
Publié: (2018)
Presentations of pseudodistributive laws
par: Walker, Charles
Publié: (2021)
par: Walker, Charles
Publié: (2021)
The Inductive Coherator For Grothendieck Infinity Groupoids
par: Taylor, Johnathon
Publié: (2025)
par: Taylor, Johnathon
Publié: (2025)
An elementary definition of opetopic sets
par: Uemura, Taichi
Publié: (2025)
par: Uemura, Taichi
Publié: (2025)
Traced Monads and Hopf Monads
par: Hasegawa, Masahito, et autres
Publié: (2022)
par: Hasegawa, Masahito, et autres
Publié: (2022)
Enriched positive logic
par: Rosický, Jiří, et autres
Publié: (2025)
par: Rosický, Jiří, et autres
Publié: (2025)
Birkhoff's variety theorem for relative algebraic theories
par: Kawase, Yuto
Publié: (2023)
par: Kawase, Yuto
Publié: (2023)
Relativized universal algebra via partial Horn logic
par: Kawase, Yuto
Publié: (2024)
par: Kawase, Yuto
Publié: (2024)
Purity in compactly generated derivators and t-structures with Grothendieck hearts
par: Laking, Rosanna
Publié: (2018)
par: Laking, Rosanna
Publié: (2018)
Relative monadicity
par: Arkor, Nathanael, et autres
Publié: (2023)
par: Arkor, Nathanael, et autres
Publié: (2023)
Monads in 2-categories
par: Fairbanks, Aaron David
Publié: (2026)
par: Fairbanks, Aaron David
Publié: (2026)
A study of Kock's fat Delta
par: de Jong, Tom, et autres
Publié: (2025)
par: de Jong, Tom, et autres
Publié: (2025)
A recognition criterion for lax-idempotent pseudomonads
par: Bourke, John
Publié: (2025)
par: Bourke, John
Publié: (2025)
Galois descent for motivic theories
par: Kahn, Bruno
Publié: (2023)
par: Kahn, Bruno
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)
The nerve theorem for relative monads
par: Arkor, Nathanael, et autres
Publié: (2024)
par: Arkor, Nathanael, et autres
Publié: (2024)
On the decomposition of a strong epimorphism into regular epimorphisms
par: Kawase, Yuto, et autres
Publié: (2026)
par: Kawase, Yuto, et autres
Publié: (2026)
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)
Comonadic approach to pretorsion theories
par: Caviglia, Elena, et autres
Publié: (2026)
par: Caviglia, Elena, et autres
Publié: (2026)
Derivations as Algebras
par: Lemay, Jean-Simon Pacaud, et autres
Publié: (2026)
par: Lemay, Jean-Simon Pacaud, et autres
Publié: (2026)
Characterizations of higher derivations and higher differential torsion theories in Eilenberg-Moore categories of monads
par: Paik, Dipti, et autres
Publié: (2026)
par: Paik, Dipti, et autres
Publié: (2026)
Quantale-valued maps and partial maps
par: Shen, Lili, et autres
Publié: (2024)
par: Shen, Lili, et autres
Publié: (2024)
Completions and Terminal Monads
par: Farjoun, Emmanuel Dror, et autres
Publié: (2023)
par: Farjoun, Emmanuel Dror, et autres
Publié: (2023)
Documents similaires
-
Idempotence for relative monads
par: Arkor, Nathanael, et autres
Publié: (2025) -
Enriched structure-semantics adjunctions and monad-theory equivalences for subcategories of arities
par: Lucyshyn-Wright, Rory B. B., et autres
Publié: (2023) -
Parametric Distributive Laws: uniform monad composition
par: Perticone, Lorenzo
Publié: (2025) -
Introductory notes on real-enriched categories
par: Zhang, Dexue
Publié: (2024) -
More on soundness in the enriched context
par: Tendas, Giacomo
Publié: (2024)