The Only Distributive Law Over the Powerset Monad Is the One You Know
Fuente:
arXiv
Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910021661491200 |
|---|---|
| author | Goncharov, Sergey Hofmann, Dirk Nora, Pedro Schröder, Lutz Wild, Paul |
| author_facet | Goncharov, Sergey Hofmann, Dirk Nora, Pedro Schröder, Lutz Wild, Paul |
| contents | Distributive laws of set functors over the powerset monad (also known as Kleisli laws for the powerset monad) are well-known to be in one-to-one correspondence with extensions of set functors to functors on the category of sets and relations. We study the question of existence and uniqueness of such distributive laws. Our main result entails that an accessible set functor admits a distributive law over the powerset monad if and only if it preserves weak pullbacks, in which case the so-called power law (which induces the Barr extension) is the unique one. Furthermore, we show that the powerset functor admits exactly three distributive laws over the powerset monad, revealing that uniqueness may fail for non-accessible functors. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2602_13144 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | The Only Distributive Law Over the Powerset Monad Is the One You Know Goncharov, Sergey Hofmann, Dirk Nora, Pedro Schröder, Lutz Wild, Paul Logic in Computer Science Distributive laws of set functors over the powerset monad (also known as Kleisli laws for the powerset monad) are well-known to be in one-to-one correspondence with extensions of set functors to functors on the category of sets and relations. We study the question of existence and uniqueness of such distributive laws. Our main result entails that an accessible set functor admits a distributive law over the powerset monad if and only if it preserves weak pullbacks, in which case the so-called power law (which induces the Barr extension) is the unique one. Furthermore, we show that the powerset functor admits exactly three distributive laws over the powerset monad, revealing that uniqueness may fail for non-accessible functors. |
| title | The Only Distributive Law Over the Powerset Monad Is the One You Know |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/2602.13144 |