From b27052e5da57c36b2cf9dc2f18d7dcf102a841f6 Mon Sep 17 00:00:00 2001
From: Jim Pryor <profjim@jimpryor.net>
Date: Tue, 2 Nov 2010 09:28:56 -0400
Subject: [PATCH] cat theory tweaks

Signed-off-by: Jim Pryor <profjim@jimpryor.net>
---
 advanced_topics/monads_in_category_theory.mdwn | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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>.
-- 
2.11.0