diff options
Diffstat (limited to 'present/fig/monad_unitb_pow.tex')
| -rw-r--r-- | present/fig/monad_unitb_pow.tex | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/present/fig/monad_unitb_pow.tex b/present/fig/monad_unitb_pow.tex new file mode 100644 index 0000000..884df9f --- /dev/null +++ b/present/fig/monad_unitb_pow.tex @@ -0,0 +1,15 @@ +\documentclass[12pt]{standalone} +\input{head} +\begin{document} +\begin{tikzpicture}\selectlanguage{english} + \path (2,2) node(TT){$\{\{s\}\}_{s\in S}$} (4,2) node(TI){$S$}; + \path (2,0) node(T){$S$} node[below]{$\phantom{\mu}$}; + \tikzsquig (TI) -- node[above]{$\power\eta_X$} (TT); + \tikzsquig (TT) -- node[right]{$\mu_X$} (T); + \tikzsquig (TI) -- node[right]{$1_{\power X}$} (T); +\end{tikzpicture} +\end{document} +%%% Local Variables: +%%% mode: latex +%%% TeX-master: t +%%% End: |