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 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.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>
 
                when &gamma; is a natural transformation from G to some MR'G
 </pre>