From 728c69314deddb0f2625bc8c17ff3cee736ad7f3 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Tue, 2 Nov 2010 11:06:52 -0400 Subject: [PATCH] cat theory tweaks Signed-off-by: Jim Pryor --- advanced_topics/monads_in_category_theory.mdwn | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/advanced_topics/monads_in_category_theory.mdwn b/advanced_topics/monads_in_category_theory.mdwn index 0db16cb2..0f38135e 100644 --- a/advanced_topics/monads_in_category_theory.mdwn +++ b/advanced_topics/monads_in_category_theory.mdwn @@ -258,9 +258,9 @@ where as we said γ is a natural transformation from `G` to so Summarizing then, the monad laws can be expressed as: 
-	For all γ, φ in T for which ρ <=< γ and γ <=< φ are defined:
+	For all ρ, γ, φ in T for which ρ <=< γ and γ <=< φ are defined:
 
-	    (i) γ <=< φ is also in T
+	    (i) γ <=< φ etc are also in T
 
 	   (ii) (ρ <=< γ) <=< φ  =  ρ <=< (γ <=< φ)
 
-- 
2.11.0