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 fe12655..44ab786 100644 (file)
--- a/advanced_topics/monads_in_category_theory.mdwn
+++ b/advanced_topics/monads_in_category_theory.mdwn
@@ -288,7 +288,7 @@ Next, consider the composite transformation <code>((join MG') -v- (MM &gamma;))<
 Composing them:
 
 <pre>
-       (2) <code>((join MG') -v- (MM &gamma;))</code> assigns to `C1` the morphism <code>join[MG'(C1)] &#8728; MM(&gamma;*)</code>.
+       (2) ((join MG') -v- (MM &gamma;)) assigns to `C1` the morphism join[MG'(C1)] &#8728; MM(&gamma;*).
 </pre>
 
 Next, consider the composite transformation <code>((M &gamma;) -v- (join G))</code>.