From: Jim Pryor <profjim@jimpryor.net>
Date: Tue, 2 Nov 2010 12:49:32 +0000 (-0400)
Subject: cat theory tweaks
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=c4eb20ae862369e97cadef43183d0663f3eddd11

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 ac99f975..29b6feb3 100644
--- 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)]
-					   =  &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.