activity
20182024
most citedCorrespondence between Composite Theories and Distributive Laws

1 citations · 1 across the 2 of their papers we have counts for

collaborators
Showing math.CTShow all

1 paper · 1 filter

math.CT2018

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

Maaike Zwart, Dan Marsden

Beck's distributive laws provide sufficient conditions under which two monads can be composed, and monads arising from distributive laws have many desirable theoretical properties.…