diff options
| author | Juan Marin Noguera <juan@mnpi.eu> | 2023-06-18 13:42:00 +0200 |
|---|---|---|
| committer | Juan Marin Noguera <juan@mnpi.eu> | 2023-06-18 13:42:00 +0200 |
| commit | 6d05255a2d0936c025907c7b329de6a836ab7408 (patch) | |
| tree | 5b2b3f6dcb6885c44a6c993bf66c98de0a73b1fe /ch4_trans.tex | |
| parent | df0d5bcbc9db8ace3cb1eb383d18094e3bea07a6 (diff) | |
Correcciones adjunciones y 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 2fa08c4..c58b5bb 100644 --- a/ch4_trans.tex +++ b/ch4_trans.tex @@ -14,7 +14,7 @@ basándonos principalmente en \cite[cap. 6]{joyofcats} y \cite[I.4 y II.4--5]{maclane}. \begin{definition} - Dados dos morfismos $S,T:\cC\to\cD$, una \conc{transformación natural} + Dados dos funtores $S,T:\cC\to\cD$, una \conc{transformación natural} $\tau:S\to T$, también escrita como \[\cC\natg{\downarrow\tau}{S}{T}\cD,\] es una función $\tau:\Ob{\cC}\to\Mor{\cD}$ que a cada objeto $c$ en $\cC$ le |