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=588d1a30f237dcad0f82b0a26d875af84b9459da;hp=402a5e778d16520463b1d149ffe54661d55ea02c;hb=c0a6070f7c11da38419b5e5da90afeddc6520b95;hpb=9905c7069d7b4d2f8b9ffbeccaa12d6c64382a8a

diff --git a/advanced_topics/monads_in_category_theory.mdwn b/advanced_topics/monads_in_category_theory.mdwn
index 402a5e77..588d1a30 100644
--- a/advanced_topics/monads_in_category_theory.mdwn
+++ b/advanced_topics/monads_in_category_theory.mdwn
@@ -404,16 +404,15 @@ Finally, we substitute <code>((join G') -v- (M &gamma;) -v- &phi;)</code> for <c
 	        ((join R') (M ((join R') (M &rho;) &gamma;)) &phi;) = ((join R') (M &rho;) (join G') (M &gamma;) &phi;)
     
 			which by the distributivity of functors over composition, and helping ourselves to associativity on the lhs, yields:
-	       ((join R') (M join R') (MM &rho;) (M &gamma;) &phi;) = ((join R') (M &rho;) (join G') (M &gamma;) &phi;)
+	        ((join R') (M join R') (MM &rho;) (M &gamma;) &phi;) = ((join R') (M &rho;) (join G') (M &gamma;) &phi;)
   
 			which by lemma 1, with &rho; a transformation from G' to MR', yields:
-	       ((join R') (M join R') (MM &rho;) (M &gamma;) &phi;) = ((join R') (join MR') (MM &rho;) (M &gamma;) &phi;)
+	        ((join R') (M join R') (MM &rho;) (M &gamma;) &phi;) = ((join R') (join MR') (MM &rho;) (M &gamma;) &phi;)
 
-			which will be true for all &rho;,&gamma;,&phi; just in case:
+			which will be true for all &rho;,&gamma;,&phi; only when:
 	        ((join R') (M join R')) = ((join R') (join MR')), for any R'.
 
-			which will in turn be true just in case:
-
+			which will in turn be true when:
       (ii') (join (M join)) = (join (join M))