mirror of
https://github.com/hmemcpy/milewski-ctfp-pdf.git
synced 2024-11-25 18:55:36 +03:00
parent
537035031e
commit
0d4a208829
@ -67,7 +67,7 @@ and $G f$ in $\cat{D}$:
|
||||
F f \Colon F a \to F b \\
|
||||
G f \Colon G a \to G b
|
||||
\end{gather*}
|
||||
The natural transformation \code{α} provides two additional morphisms
|
||||
The natural transformation $\alpha$ provides two additional morphisms
|
||||
that complete the diagram in \emph{D}:
|
||||
|
||||
\begin{gather*}
|
||||
|
Loading…
Reference in New Issue
Block a user