BibLaTeX
@inproceedings{aristoteMonotoneWeakDistributive2025,
author = {Aristote, Quentin},
editor = {Beyersdorff, Olaf and Pilipczuk, Michał and Pimentel, Elaine
and Thắng, Nguyễn Kim},
publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
title = {Monotone {Weak} {Distributive} {Laws} over the {Lifted}
{Powerset} {Monad} in {Categories} of {Algebras}},
booktitle = {42nd International Symposium on Theoretical Aspects of
Computer Science (STACS 2025)},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
volume = {327},
pages = {10:1–10:20},
date = {2025},
urldate = {2025-02-25},
address = {Dagstuhl, Germany},
url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.10},
doi = {10.4230/LIPIcs.STACS.2025.10},
isbn = {978-3-95977-365-2},
issn = {1868-8969},
langid = {en},
abstract = {In both the category of sets and the category of compact
Hausdorff spaces, there is a monotone weak distributive law that
combines two layers of non-determinism. Noticing the similarity
between these two laws, we study whether the latter 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, on the one hand
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.}
}
BibTeX
@inproceedings{aristoteMonotoneWeakDistributive2025,
author = {Aristote, Quentin},
editor = {Beyersdorff, Olaf and Pilipczuk, Michał and Pimentel, Elaine
and Thắng, Nguyễn Kim},
publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
title = {Monotone {Weak} {Distributive} {Laws} over the {Lifted}
{Powerset} {Monad} in {Categories} of {Algebras}},
booktitle = {42nd International Symposium on Theoretical Aspects of
Computer Science (STACS 2025)},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
volume = {327},
pages = {10:1–10:20},
year = {2025},
address = {Dagstuhl, Germany},
url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.10}
}
CSL JSON
{"id":"aristoteMonotoneWeakDistributive2025","abstract":"In both the category of sets and the category of compact Hausdorff spaces, there is a monotone weak distributive law that combines two layers of non-determinism. Noticing the similarity between these two laws, we study whether the latter 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, on the one hand 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.","accessed":{"date-parts":[["2025",2,25]]},"author":[{"family":"Aristote","given":"Quentin"}],"citation-key":"aristoteMonotoneWeakDistributive2025","collection-title":"Leibniz International Proceedings in Informatics (LIPIcs)","container-title":"42nd International Symposium on Theoretical Aspects of Computer Science (STACS 2025)","DOI":"10.4230/LIPIcs.STACS.2025.10","editor":[{"family":"Beyersdorff","given":"Olaf"},{"family":"Pilipczuk","given":"Michał"},{"family":"Pimentel","given":"Elaine"},{"family":"Thắng","given":"Nguyễn Kim"}],"event-place":"Dagstuhl, Germany","event-title":"Symposium on Theoretical Aspects of Computer Science (STACS)","ISBN":"978-3-95977-365-2","ISSN":"1868-8969","issued":{"date-parts":[["2025"]]},"language":"en","page":"10:1–10:20","publisher":"Schloss Dagstuhl – Leibniz-Zentrum für Informatik","publisher-place":"Dagstuhl, Germany","title":"Monotone Weak Distributive Laws over the Lifted Powerset Monad in Categories of Algebras","type":"paper-conference","URL":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.STACS.2025.10","volume":"327"}