From c4eb20ae862369e97cadef43183d0663f3eddd11 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Tue, 2 Nov 2010 08:49:32 -0400 Subject: [PATCH] cat theory tweaks Signed-off-by: Jim Pryor --- 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 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 
 	(φ -h- η)[C1]  =  L(η[C1]) ∘ ψ[G(C1)]
-					   =  ψ[H(C1)] ∘ K(η[C1])
+				  =  ψ[H(C1)] ∘ K(η[C1])
Horizontal composition is also associative, and has the same identity as vertical composition. -- 2.11.0