cat theory tweaks

[lambda.git] / advanced_topics / monads_in_category_theory.mdwn

diff --git a/advanced_topics/monads_in_category_theory.mdwn b/advanced_topics/monads_in_category_theory.mdwn
index e596c31..1fae38d 100644 (file)
--- a/advanced_topics/monads_in_category_theory.mdwn
+++ b/advanced_topics/monads_in_category_theory.mdwn
@@ -258,16 +258,16 @@ where as we said <code>&gamma;</code> is a natural transformation from `G` to so
 Summarizing then, the monad laws can be expressed as:
 
 <pre>
-       For all &gamma;, &phi; in T for which &gamma; <=< &phi; is defined:
+       For all &rho;, &gamma;, &phi; in T for which &rho; <=< &gamma; and &gamma; <=< &phi; are defined:
 
-           (i) &gamma; <=< &phi; is also in T
+           (i) &gamma; <=< &phi; etc are also in T
 
           (ii) (&rho; <=< &gamma;) <=< &phi;  =  &rho; <=< (&gamma; <=< &phi;)
 
        (iii.1) (unit G') <=< &gamma;  =  &gamma;
                when &gamma; is a natural transformation from some FG' to MG'
 
-       (iii.2) &gamma;  =  &gamma; <=< (unit G)
+       (iii.2)                     &gamma;  =  &gamma; <=< (unit G)
                when &gamma; is a natural transformation from G to some MR'G
 </pre>