From 299741fcef2500949e423ac92c3d2a610d77f761 Mon Sep 17 00:00:00 2001
From: Juan Marin Noguera <juan@mnpi.eu>
Date: Sat, 17 Jun 2023 01:39:09 +0200
Subject: Mónadas
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 ch4_trans.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ch4_trans.tex')

diff --git a/ch4_trans.tex b/ch4_trans.tex
index a20d7cc..2fa08c4 100644
--- a/ch4_trans.tex
+++ b/ch4_trans.tex
@@ -274,7 +274,7 @@ Además de componer transformaciones naturales verticalmente, podemos componer
 dos transformaciones naturales $\cB\nats{\tau}\cC\nats{\sigma}\cD$ de la
 siguiente manera.
 
-\begin{definition}
+\begin{definition}\label{def:comp-horiz}
   Dados cuatro funtores $S,T:\cB\to\cC$ y $S',T':\cC\to\cD$ y dos
   transformaciones naturales $\tau:S\to T$ y $\sigma:S'\to T'$, llamamos
   \conc{composición horizontal} de $\tau$ y $\sigma$ a la transformación natural
-- 
cgit v1.2.3