Comment thread for [Every Distributive is Representable](https://duplode.github.io/posts/every-distributive-is-representable.html).