cat theory tweaks

[lambda.git] / advanced_topics / monads_in_category_theory.mdwn

diff --git a/advanced_topics/monads_in_category_theory.mdwn b/advanced_topics/monads_in_category_theory.mdwn
index 0f38135..1fae38d 100644 (file)
--- 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>