MAKE A MEME
View Large Image
| View Original: | MonadDistrMu.svg (171x146) | |||
| Download: | Original | Medium | Small | Thumb |
| Courtesy of: | commons.wikimedia.org | More Like This | ||
| Keywords: MonadDistrMu.svg en Mu part of conditions for a distributive law for two monads <source lang latex > \documentclass10pt article \usepackage tikz \usetikzlibrary shapes arrows \begin document \pagestyle empty \begin tikzpicture scale 2 2 \node PPS at 0 2 \Pi\Pi\Sigma ; \node PSP at 1 2 \Pi\Sigma\Pi ; \node SPP at 2 2 \Sigma\Pi\Pi ; \node PS at 0 1 \Pi\Sigma ; \node SP at 2 1 \Sigma\Pi ; \node PSS at 0 0 \Pi\Sigma\Sigma ; \node SPS at 1 0 \Sigma\Pi\Sigma ; \node SSP at 2 0 \Sigma\Sigma\Pi ; \draw-> PS -- nodeabove \lambda SP ; \draw-> PPS -- nodeabove \Pi\lambda PSP ; \draw-> PSP -- nodeabove \lambda\Pi SPP ; \draw-> PSS -- nodebelow \lambda\Sigma SPS ; \draw-> SPS -- nodebelow \Sigma\lambda SSP ; \draw-> PPS -- nodeleft \mu_\Pi\Sigma PS ; \draw-> SPP -- noderight \Sigma\mu_\Pi SP ; \draw-> PSS -- nodeleft \Pi\mu_\Sigma PS ; \draw-> SSP -- noderight \mu_\Sigma\Pi SP ; \end tikzpicture \end document </source> 2014-01-23 20 39 02 own Daniel5Ko cc-zero Uploaded with UploadWizard Commutative diagrams | ||||
