No-Go Theorems for Distributive Laws

03/27/2020
by   Maaike Zwart, et al.
0

Monads are commonplace in computer science, and can be composed using Beck's distributive laws. Unfortunately, finding distributive laws can be extremely difficult and error-prone. The literature contains some general principles for constructing distributive laws. However, until now there have been no such techniques for establishing when no distributive law exists. We present three families of theorems for showing when there can be no distributive law between two monads. The first widely generalizes a counterexample attributed to Plotkin. It covers all the previous known no-go results for specific pairs of monads, and includes many new results. The second and third families are entirely novel, encompassing various new practical situations. For example, they negatively resolve the open question of whether the list monad distributes over itself, reveal a previously unobserved error in the literature, and confirm a conjecture made by Beck himself in his first paper on distributive laws.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/15/2018

Don't Try This at Home: No-Go Theorems for Distributive Laws

Beck's distributive laws provide sufficient conditions under which two m...
research
12/20/2020

An Interpolating Family of size distributions

Power laws and power laws with exponential cut-off are two distinct fami...
research
05/07/2022

Weakening and Iterating Laws using String Diagrams

Distributive laws are a standard way of combining two monads, providing ...
research
03/02/2023

Algorithmic Randomness and Probabilistic Laws

We consider two ways one might use algorithmic randomness to characteriz...
research
02/07/2018

Wishart laws and variance function on homogeneous cones

We present a systematic study of Riesz measures and their natural expone...
research
05/16/2022

Average-Case Hardness of Proving Tautologies and Theorems

We consolidate two widely believed conjectures about tautologies – no op...
research
05/27/2019

Power laws in code repositories: A skeptical approach

Software development as done using modern methodologies and source contr...

Please sign up or login with your details

Forgot password? Click here to reset