diff options
| author | Juan Marin Noguera <juan@mnpi.eu> | 2023-06-17 01:39:09 +0200 |
|---|---|---|
| committer | Juan Marin Noguera <juan@mnpi.eu> | 2023-06-17 01:39:09 +0200 |
| commit | 299741fcef2500949e423ac92c3d2a610d77f761 (patch) | |
| tree | 8ac2aff53aa631ffa10e73ce14bc8fc093982485 /ch4_trans.tex | |
| parent | a84d779b1f0d88e504219e8b68c4865a247f8023 (diff) | |
Mónadas
Diffstat (limited to 'ch4_trans.tex')
| -rw-r--r-- | ch4_trans.tex | 2 |
1 files changed, 1 insertions, 1 deletions
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 |