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=078bec2f0e6ace06427b7ed6a7e7e91a1a689f92;hp=8c5f4cd9b256f39c32dccf112098162a5f9fa78e;hb=2889e6d94efdd9a1babf94ff8dda6dbe1ee1e900;hpb=3ca93ad8ccdf0572c3b803b86ea68dd2ad21a5f2

diff --git a/advanced_topics/monads_in_category_theory.mdwn b/advanced_topics/monads_in_category_theory.mdwn
index 8c5f4cd9..078bec2f 100644
--- a/advanced_topics/monads_in_category_theory.mdwn
+++ b/advanced_topics/monads_in_category_theory.mdwn
@@ -82,12 +82,11 @@ A **functor** is a "homomorphism", that is, a structure-preserving mapping, betw
 <pre>
 	  (i) associate with every element C1 of <b>C</b> an element F(C1) of <b>D</b>
 
-	 (ii) associate with every morphism f:C1&rarr;C2 of <b>C</b> a morphism
-	      F(f):F(C1)&rarr;F(C2) of <b>D</b>
+	 (ii) associate with every morphism f:C1&rarr;C2 of <b>C</b> a morphism F(f):F(C1)&rarr;F(C2) of <b>D</b>
 
 	(iii) "preserve identity", that is, for every element C1 of <b>C</b>:
-	      F of C1's identity morphism in <b>C</b> must be the identity morphism
-		  of F(C1) in <b>D</b>: F(1<sub>C1</sub>) = 1<sub>F(C1)</sub>.
+	      F of C1's identity morphism in <b>C</b> must be the identity morphism of F(C1) in <b>D</b>:
+	      F(1<sub>C1</sub>) = 1<sub>F(C1)</sub>.
 
 	 (iv) "distribute over composition", that is for any morphisms f and g in <b>C</b>:
 	      F(g &#8728; f) = F(g) &#8728; F(f)