From 05ae66bbb842c180cc39f22b2bdf7667f51138eb Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gkleen@yggdrasil.li>
Date: Thu, 4 Feb 2016 14:15:20 +0100
Subject: typos

---
 provider/posts/simmons-intro-to-cat-t/1.2.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'provider')

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>
-- 
cgit v1.2.3