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=1fae38d145c3f13355fae1c786e0959d0428c561;hp=0f38135e7565b7958d9c2bfbcb8dc7a1bc89859d;hb=01fb5873a9d28c219ef0c8b2900fec38fe5918f4;hpb=728c69314deddb0f2625bc8c17ff3cee736ad7f3

diff --git a/advanced_topics/monads_in_category_theory.mdwn b/advanced_topics/monads_in_category_theory.mdwn
index 0f38135e..1fae38d1 100644
--- a/advanced_topics/monads_in_category_theory.mdwn
+++ b/advanced_topics/monads_in_category_theory.mdwn
@@ -267,7 +267,7 @@ Summarizing then, the monad laws can be expressed as:
 	(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>