Monotone weak distributive laws over the lifted powerset monad in categories of algebras - Archive ouverte HAL
Preprints, Working Papers, ... Year : 2024

Monotone weak distributive laws over the lifted powerset monad in categories of algebras

Abstract

Noticing the similarity between the monotone weak distributive laws combining two layers of nondeterminisms in sets and in compact Hausdorff spaces, we study whether the latter law can be obtained automatically as a weak lifting of the former. This holds partially, but does not generalize to other categories of algebras: we then characterize when exactly monotone weak distributive laws over powerset monads in categories of algebras exist, exhibiting a law combining probabilities and non-determinism in compact Hausdorff spaces and showing on the other hand that such laws do not exist in a lot of other cases.
Fichier principal
Vignette du fichier
main.pdf (903.55 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-04712728 , version 1 (01-10-2024)
hal-04712728 , version 2 (07-10-2024)
hal-04712728 , version 3 (16-10-2024)
hal-04712728 , version 4 (01-11-2024)

Licence

Identifiers

  • HAL Id : hal-04712728 , version 4

Cite

Quentin Aristote. Monotone weak distributive laws over the lifted powerset monad in categories of algebras. 2024. ⟨hal-04712728v4⟩
33 View
27 Download

Share

More