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=0db16cb2d5f141b5201d6bafc8dbcd27d3e97141;hp=d5c55d65447e6c4890d112a5510f59965a25e349;hb=c0b681e8273859ba1a6d526265bb451853ddeb7d;hpb=37c4d3dde1f5d08f4913080b1e232248469d0077

diff --git a/advanced_topics/monads_in_category_theory.mdwn b/advanced_topics/monads_in_category_theory.mdwn
index d5c55d65..0db16cb2 100644
--- a/advanced_topics/monads_in_category_theory.mdwn
+++ b/advanced_topics/monads_in_category_theory.mdwn
@@ -255,6 +255,21 @@ Similarly, if <code>&rho;</code> is a natural transformation from `1C` to `MR'`,
 
 where as we said <code>&gamma;</code> is a natural transformation from `G` to some `MR'G`.
 
+Summarizing then, the monad laws can be expressed as:
+
+<pre>
+	For all &gamma;, &phi; in T for which &rho; <=< &gamma; and &gamma; <=< &phi; are defined:
+
+	    (i) &gamma; <=< &phi; is also in T
+
+	   (ii) (&rho; <=< &gamma;) <=< &phi;  =  &rho; <=< (&gamma; <=< &phi;)
+
+	(iii.1) (unit G') <=< &gamma;  =  &gamma;
+	        when &gamma; is a natural transformation from some FG' to MG'
+
+	(iii.2) &gamma;  =  &gamma; <=< (unit G)
+	        when &gamma; is a natural transformation from G to some MR'G
+</pre>