From 2889e6d94efdd9a1babf94ff8dda6dbe1ee1e900 Mon Sep 17 00:00:00 2001 From: Jim Pryor Date: Tue, 2 Nov 2010 08:33:31 -0400 Subject: [PATCH] cat theory tweaks Signed-off-by: Jim Pryor --- advanced_topics/monads_in_category_theory.mdwn | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) 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
``` 	  (i) associate with every element C1 of C an element F(C1) of D

-	 (ii) associate with every morphism f:C1→C2 of C a morphism
-	      F(f):F(C1)→F(C2) of D
+	 (ii) associate with every morphism f:C1→C2 of C a morphism F(f):F(C1)→F(C2) of D

(iii) "preserve identity", that is, for every element C1 of C:
-	      F of C1's identity morphism in C must be the identity morphism
-		  of F(C1) in D: F(1C1) = 1F(C1).
+	      F of C1's identity morphism in C must be the identity morphism of F(C1) in D:
+	      F(1C1) = 1F(C1).

(iv) "distribute over composition", that is for any morphisms f and g in C:
F(g ∘ f) = F(g) ∘ F(f)
--
2.11.0

```