This image was acquired from
wikimedia. It was marked as Public Domain or CC0 and is free to use. To verify, go to the source and check the information there.
Keywords from Image Description:
MonadDistrMu.svg en Mu part of conditions for distributive law for two monads documentclasspt article usepackage tikz usetikzlibrary shapes arrows begin document pagestyle empty begin tikzpicture scale node PPS at PiPiSigma node PSP at PiSigmaPi node SPP at SigmaPiPi node PS at PiSigma node SP at SigmaPi node PSS