From 05ae66bbb842c180cc39f22b2bdf7667f51138eb Mon Sep 17 00:00:00 2001 From: Gregor Kleen 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)).
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$.
-- cgit v1.2.3