summaryrefslogtreecommitdiff
path: root/provider/posts/simmons-intro-to-cat-t
diff options
context:
space:
mode:
Diffstat (limited to 'provider/posts/simmons-intro-to-cat-t')
-rw-r--r--provider/posts/simmons-intro-to-cat-t/1.1.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/provider/posts/simmons-intro-to-cat-t/1.1.md b/provider/posts/simmons-intro-to-cat-t/1.1.md
index 0077d63..6c69c62 100644
--- a/provider/posts/simmons-intro-to-cat-t/1.1.md
+++ b/provider/posts/simmons-intro-to-cat-t/1.1.md
@@ -10,7 +10,7 @@ Sets and functions do form a category $\ca{Set}$.
10<div class="proof"> 10<div class="proof">
11The objects of $\ca{Set}$ are sets and its arrows are functions. 11The objects of $\ca{Set}$ are sets and its arrows are functions.
12 12
13For any set $A$ we identify $\idarr{A}$ with the identity function on $A$ $\id$. 13For any set $A$ we identify $\idarr{A}$ with the identity function on $A$, $\id : A \to A$.
14 14
15$\circ$ is indeed associative. 15$\circ$ is indeed associative.
16</div> 16</div>