diff options
-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> |