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

arXiv1811.06460MaRDI QIDQ6309811

Maaike Zwart, Dan Marsden

Publication date: 15 November 2018

Has companion code repository: https://github.com/hmillerbakewell/composite-theory-disprover

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

This page was built for publication: Don't Try This at Home: No-Go Theorems for Distributive Laws