Distributive laws

Whilst reading up on categorical probability theory and ‘credal prediction’, I stumbled upon the issue of monad composition. Credal sets are (informally) sets of probability dsitributions. Whereas the latter part is governed by probability monads, the former is governed by the powerset monad. However, the composition of monads is not as easy as one might hope it to be. For this reason, I deemed it relevant to write a blog post about it.

As an additional feature, this sentence will also be the penultimate one in English in this post. As I am learning Spanish and trying to improve my learning rate, I decided to write this blog post in Spanish.

This post is structured as follows:

• X. Chen, Z.-C. Gu, Z.-X. Liu, & X.-G. Wen. (2013). Symmetry protected topological orders and the group cohomology of their symmetry group. Phys. Rev. B, 87:155114–155162. https://link.aps.org/doi/10.1103/PhysRevB.87.155114