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 ac99f97..29b6feb 100644 (file)
--- a/advanced_topics/monads_in_category_theory.mdwn
+++ b/advanced_topics/monads_in_category_theory.mdwn
@@ -173,7 +173,7 @@ I'll assert without proving that vertical composition is associative and has an
 
 <pre>
        (&phi; -h- &eta;)[C1]  =  L(&eta;[C1]) &#8728; &psi;[G(C1)]
 
 <pre>
        (&phi; -h- &eta;)[C1]  =  L(&eta;[C1]) &#8728; &psi;[G(C1)]

-                                          =  &psi;[H(C1)] &#8728; K(&eta;[C1])
+                                 =  &psi;[H(C1)] &#8728; K(&eta;[C1])

 </pre>
 
 Horizontal composition is also associative, and has the same identity as vertical composition.
 </pre>
 
 Horizontal composition is also associative, and has the same identity as vertical composition.