From: Jim Pryor Date: Tue, 2 Nov 2010 15:06:11 +0000 (-0400) Subject: cat theory tweaks X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=c0b681e8273859ba1a6d526265bb451853ddeb7d cat theory tweaks Signed-off-by: Jim Pryor --- diff --git a/advanced_topics/monads_in_category_theory.mdwn b/advanced_topics/monads_in_category_theory.mdwn index 33f9bf38..0db16cb2 100644 --- a/advanced_topics/monads_in_category_theory.mdwn +++ b/advanced_topics/monads_in_category_theory.mdwn @@ -258,7 +258,7 @@ 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