author Jim Pryor Tue, 2 Nov 2010 14:57:10 +0000 (10:57 -0400) committer Jim Pryor Tue, 2 Nov 2010 14:57:10 +0000 (10:57 -0400)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>

index deb5bac..d5c55d6 100644 (file)
@@ -233,7 +233,8 @@ If <code>&phi;</code> is a natural transformation from `F` to `M(1C)` and <code>
= (((join 1C) G') -v- ((M unit) G') -v- (&phi; G'))
= ((join (1C G')) -v- (M (unit G')) -v- &gamma;)
= ((join G') -v- (M (unit G')) -v- &gamma;)
-         since (unit G') is a natural transformation to MG', this satisfies the definition for <=<:
+         since (unit G') is a natural transformation to MG',
+         this satisfies the definition for &lt;=&lt;:
= (unit G') <=< &gamma;
</pre>

@@ -247,7 +248,8 @@ Similarly, if <code>&rho;</code> is a natural transformation from `1C` to `MR'`,
= (((join R') -v- (M &rho;) -v- unit) G)
= (((join R') G) -v- ((M &rho;) G) -v- (unit G))
= ((join (R'G)) -v- (M (&rho; G)) -v- (unit G))
-         since &gamma; = (&rho; G) is a natural transformation to MR'G, this satisfies the definition for <=<:
+         since &gamma; = (&rho; G) is a natural transformation to MR'G,
+         this satisfies the definition &lt;=&lt;:
= &gamma; <=< (unit G)
</pre>