diff options
| author | Gregor Kleen <gkleen@yggdrasil.li> | 2016-02-04 14:15:20 +0100 |
|---|---|---|
| committer | Gregor Kleen <gkleen@yggdrasil.li> | 2016-02-04 14:15:20 +0100 |
| commit | 05ae66bbb842c180cc39f22b2bdf7667f51138eb (patch) | |
| tree | a023c9273716198492ba05bbf28a82fb23d732a6 /provider/posts/simmons-intro-to-cat-t | |
| parent | 6f4482b387957f15eaa7c6a954fb856ce990ebf7 (diff) | |
| download | dirty-haskell.org-05ae66bbb842c180cc39f22b2bdf7667f51138eb.tar dirty-haskell.org-05ae66bbb842c180cc39f22b2bdf7667f51138eb.tar.gz dirty-haskell.org-05ae66bbb842c180cc39f22b2bdf7667f51138eb.tar.bz2 dirty-haskell.org-05ae66bbb842c180cc39f22b2bdf7667f51138eb.tar.xz dirty-haskell.org-05ae66bbb842c180cc39f22b2bdf7667f51138eb.zip | |
typos
Diffstat (limited to 'provider/posts/simmons-intro-to-cat-t')
| -rw-r--r-- | provider/posts/simmons-intro-to-cat-t/1.2.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/provider/posts/simmons-intro-to-cat-t/1.2.md b/provider/posts/simmons-intro-to-cat-t/1.2.md index c2875ca..8b910f2 100644 --- a/provider/posts/simmons-intro-to-cat-t/1.2.md +++ b/provider/posts/simmons-intro-to-cat-t/1.2.md | |||
| @@ -119,7 +119,7 @@ Each monoid $(M, \cdot)$ is a category ([again](./1.1.md)). | |||
| 119 | 119 | ||
| 120 | <div class="proof"> | 120 | <div class="proof"> |
| 121 | We construct a category with exactly one object $\ast$ and associate to every element $m \in M$ an arrow $\arr{\ast}{m}{\ast}$. | 121 | We construct a category with exactly one object $\ast$ and associate to every element $m \in M$ an arrow $\arr{\ast}{m}{\ast}$. |
| 122 | We further define $m \circ m = m \ast m$. | 122 | We further define $m \circ n = m \cdot n$. |
| 123 | </div> | 123 | </div> |
| 124 | </div> | 124 | </div> |
| 125 | </div> | 125 | </div> |