Adds monoid description (dry-python#7)

sobolevn · web-flow · commit 8db151cdbe28 · 2020-10-02T10:37:01.000+03:00
diff --git a/README.md b/README.md
@@ -35,9 +35,8 @@ __Table of Contents__
 * [Lambda Calculus (TODO)](#lambda-calculus-todo)
 * [Lazy evaluation (TODO)](#lazy-evaluation-todo)
 * [Functor (TODO)](#functor-todo)
-* [Applicative (TODO)](#applicative-todo)
 * [Applicative Functor (TODO)](#applicative-functor-todo)
-* [Monoid (TODO)](#monoid-todo)
+* [Monoid](#monoid)
 * [Monad (TODO)](#monad-todo)
 * [Comonad (TODO)](#comonad-todo)
 * [Morphism (TODO)](#morphism-todo)
@@ -588,20 +587,31 @@ object.map(compose(f, g)) ≍ object.map(g).map(f)
 
 ## Pointed Functor (TODO)
 
-## Applicative (TODO)
+## Applicative Functor (TODO)
+
 
-## Applicative Functore (TODO)
+## Monoid
 
-## Monoid (TODO)
+An object with a function that "combines" that object with another of the same type
+and an "empty" value, which can be added with no effect.
 
-An object with a function that "combines" that object with another of the same type.
+One simple monoid is the addition of numbers 
+(with `__add__` as an addition function and `0` as an empty element):
+
+```python
+>>> assert 1 + 1 + 0 == 2
+>>>
+```
 
-One simple monoid is the addition of numbers:
+Tuples, lists, and strings are also monoids:
 
 ```python
-1 + 1 # 2
+>>> assert (1,) + (2,) + () == (1, 2)
+>>> assert [1] + [2] + [] == [1, 2]
+>>> assert 'a' + 'b' + '' == 'ab'
+>>>
 ```
-In this case number is the object and `+` is the function.
+
 
 ## Monad (TODO)
 
