X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=advanced_topics%2Fmonads_in_category_theory.mdwn;fp=advanced_topics%2Fmonads_in_category_theory.mdwn;h=33f9bf3894a72046eaeb169d8c2aacd45b155211;hp=e596c31d4b48cf80f14ed13a90f368981ca2d6cd;hb=d752bea8fab7d8a83e1704ca99d37dd5dfcc52f3;hpb=11012fa5398867d3f2c08b40912b0b85aa710c75

diff --git a/advanced_topics/monads_in_category_theory.mdwn b/advanced_topics/monads_in_category_theory.mdwn
index e596c31d..33f9bf38 100644
--- 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>
-	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