diff options
| author | Juan Marin Noguera <juan@mnpi.eu> | 2023-08-22 17:56:56 +0200 |
|---|---|---|
| committer | Juan Marin Noguera <juan@mnpi.eu> | 2023-08-22 17:56:56 +0200 |
| commit | 1fd2213192d22880706440e7f724bdc6db966ee0 (patch) | |
| tree | ff2d6812ef6db399852ad8c4cf2b6f1cd417dfed /present/fig/monad_data_pow.tex | |
| parent | 2f9eb7a94819a08937ba08320a142b7f0be407fd (diff) | |
Añadida presentación1.0
Diffstat (limited to 'present/fig/monad_data_pow.tex')
| -rw-r--r-- | present/fig/monad_data_pow.tex | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/present/fig/monad_data_pow.tex b/present/fig/monad_data_pow.tex new file mode 100644 index 0000000..d0533e2 --- /dev/null +++ b/present/fig/monad_data_pow.tex @@ -0,0 +1,16 @@ +\documentclass[12pt]{standalone} +\input{head} +\begin{document} +\begin{tikzpicture}\selectlanguage{english} + \path (0,2) node(TTT){$\mathcal{S}$} (2,2) node(TTP){$\{\bigcup S\}_{S\in\mathcal{S}}$}; + \path (0,0) node(PTT){$\bigcup\mathcal{S}$} (2,0) node(T){$\bigcup\bigcup\mathcal{S}$}; + \tikzsquig (TTT) -- node[above]{$\power\mu_X$} (TTP); + \tikzsquig (TTT) -- node[left]{$\mu_{\power X}$}(PTT); + \tikzsquig (TTP) -- node[right]{$\mu_X$} (T); + \tikzsquig (PTT) -- node[below]{$\mu_X$} (T); +\end{tikzpicture} +\end{document} +%%% Local Variables: +%%% mode: latex +%%% TeX-master: t +%%% End: |