From d03f2fb42f560728e84e4301d9d7b41827587ef2 Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gkleen@yggdrasil.li>
Date: Sat, 30 Jan 2016 13:02:58 +0100
Subject: typo

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

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}$.
 <div class="proof">
 The objects of $\ca{Set}$ are sets and its arrows are functions.
 
-For any set $A$ we identify $\idarr{A}$ with the identity function on $A$ $\id$.
+For any set $A$ we identify $\idarr{A}$ with the identity function on $A$, $\id : A \to A$.
 
 $\circ$ is indeed associative.
 </div>
-- 
cgit v1.2.3