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)).
 
 <div class="proof">
 We construct a category with exactly one object $\ast$ and associate to every element $m \in M$ an arrow $\arr{\ast}{m}{\ast}$.
-We further define $m \circ m = m \ast m$.
+We further define $m \circ n = m \cdot n$.
 </div>
 </div>
 </div>