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_unit.tex | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 present/fig/monad_unit.tex

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

diff --git a/present/fig/monad_unit.tex b/present/fig/monad_unit.tex
new file mode 100644
index 0000000..f100b66
--- /dev/null
+++ b/present/fig/monad_unit.tex
@@ -0,0 +1,17 @@
+\documentclass[12pt]{standalone}
+\input{head}
+\begin{document}
+\begin{tikzpicture}\selectlanguage{english}
+  \path (0,2) node(IT){$1\circ T$} (2,2) node(TT){$T^2$} (4,2) node(TI){$T\circ 1$};
+  \path                            (2,0) node(T){$T$} node[below]{$\phantom{\mu}$};
+  \draw[->] (IT) -- node[above]{$\eta T$} (TT);
+  \draw[->] (TI) -- node[above]{$T\eta$} (TT);
+  \draw[->] (TT) -- node[right]{$\mu$} (T);
+  \draw[->] (IT) -- node[left]{$1$} (T);
+  \draw[->] (TI) -- node[right]{$1$} (T);
+\end{tikzpicture}
+\end{document}
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-master: t
+%%% End:
-- 
cgit v1.2.3