summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--provider/posts/simmons-intro-to-cat-t/1.2.md2
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">
121We construct a category with exactly one object $\ast$ and associate to every element $m \in M$ an arrow $\arr{\ast}{m}{\ast}$. 121We construct a category with exactly one object $\ast$ and associate to every element $m \in M$ an arrow $\arr{\ast}{m}{\ast}$.
122We further define $m \circ m = m \ast m$. 122We further define $m \circ n = m \cdot n$.
123</div> 123</div>
124</div> 124</div>
125</div> 125</div>