X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=advanced_topics%2Fmonads_in_category_theory.mdwn;h=44ab78665ab4af653c1e91c0aabde0997ebb6274;hp=fe12655bac9e24310213d1616279771202565bd0;hb=b27052e5da57c36b2cf9dc2f18d7dcf102a841f6;hpb=2f14eb20bd2428f346f8d5c8caa35b67eb043096

diff --git a/advanced_topics/monads_in_category_theory.mdwn b/advanced_topics/monads_in_category_theory.mdwn
index fe12655b..44ab7866 100644
--- 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>.