cat theory tweaks
authorJim Pryor <profjim@jimpryor.net>
Tue, 2 Nov 2010 15:06:52 +0000 (11:06 -0400)
committerJim Pryor <profjim@jimpryor.net>
Tue, 2 Nov 2010 15:06:52 +0000 (11:06 -0400)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
advanced_topics/monads_in_category_theory.mdwn

index 0db16cb..0f38135 100644 (file)
@@ -258,9 +258,9 @@ 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 &rho; <=< &gamma; and &gamma; <=< &phi; are 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;)