Monotone weak distributive laws over the lifted powerset monad in categories of algebras - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2024

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

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)

Dates et 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

Identifiants

  • HAL Id : hal-04712728 , version 4

Citer

Quentin Aristote. Monotone weak distributive laws over the lifted powerset monad in categories of algebras. 2024. ⟨hal-04712728v4⟩
98 Consultations
48 Téléchargements

Partager

More