From 1fd2213192d22880706440e7f724bdc6db966ee0 Mon Sep 17 00:00:00 2001
From: Juan Marin Noguera <juan@mnpi.eu>
Date: Tue, 22 Aug 2023 17:56:56 +0200
Subject: Añadida presentación
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 present/fig/monad_data_pow.tex | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 present/fig/monad_data_pow.tex

(limited to 'present/fig/monad_data_pow.tex')

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:
-- 
cgit v1.2.3