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=24670796b21e1fc3cd230352e0049772bf17a2b3;hp=90f77cbeefe342d5818ae523a83d8c5c5a5f5c54;hb=ac47fea0dc57a0f496d14dba80383206397a35f9;hpb=a40cca61ecb584096b4e304508c4a2d0d477555e diff --git a/advanced_topics/monads_in_category_theory.mdwn b/advanced_topics/monads_in_category_theory.mdwn index 90f77cbe..24670796 100644 --- a/advanced_topics/monads_in_category_theory.mdwn +++ b/advanced_topics/monads_in_category_theory.mdwn @@ -422,7 +422,6 @@ Finally, we substitute ((join G') -v- (M γ) -v- φ) for (unit G') is a transformation from G' to MG', so: (unit G') <=< γ becomes: ((join G') (M unit G') γ) - which is: ((join G') (M unit G') γ) substituting in (iii.1), we get: ((join G') (M unit G') γ) = γ @@ -439,7 +438,7 @@ Finally, we substitute ((join G') -v- (M γ) -v- φ) for - unit <=< γ becomes: (join R'G) (M γ) unit + unit <=< γ becomes: ((join R'G) (M γ) unit) substituting in (iii.2), we get: γ = ((join R'G) (M γ) (unit G)) @@ -457,8 +456,12 @@ Finally, we substitute ((join G') -v- (M γ) -v- φ) for - when φ a transformation from F to MF', γ a transformation from F' to MG', ρ a transformation from G' to MR' are all in T: +
+	For all ρ, γ, φ in T,
+	where φ is a transformation from F to MF',
+	γ is a transformation from G to MG',
+	ρ is a transformation from R to MR',
+	and F'=G and G'=R:
 
 	    (i') ((join G') (M γ) φ) etc also in T