cat theory tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>

diff --git a/advanced_topics/monads_in_category_theory.mdwn b/advanced_topics/monads_in_category_theory.mdwn
index e596c31..33f9bf3 100644 (file)
--- a/advanced_topics/monads_in_category_theory.mdwn
+++ b/advanced_topics/monads_in_category_theory.mdwn
@@ -258,7 +258,7 @@ 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>
 Summarizing then, the monad laws can be expressed as:
 
 <pre>

-       For all &gamma;, &phi; in T for which &gamma; <=< &phi; is defined:
+       For all &gamma;, &phi; in T for which &rho; <=< &gamma; and  &gamma; <=< &phi; are defined:

 
            (i) &gamma; <=< &phi; is also in T
 
 
            (i) &gamma; <=< &phi; is also in T