X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=advanced_topics%2Fmonads_in_category_theory.mdwn;h=0f38135e7565b7958d9c2bfbcb8dc7a1bc89859d;hp=0db16cb2d5f141b5201d6bafc8dbcd27d3e97141;hb=728c69314deddb0f2625bc8c17ff3cee736ad7f3;hpb=c0b681e8273859ba1a6d526265bb451853ddeb7d
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) (ρ <=< γ) <=< φ = ρ <=< (γ <=< φ)