---
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(1_{C1}) = 1_{F(C1)}.
+ F of C1's identity morphism in **C** must be the identity morphism of F(C1) in **D**:
+ F(1_{C1}) = 1_{F(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