1 files changed, 1 insertions, 2 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 d1ece85..0077d63 100644
--- a/provider/posts/simmons-intro-to-cat-t/1.1.md
+++ b/provider/posts/simmons-intro-to-cat-t/1.1.md
@@ -10,8 +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 construct $\idarr{A}$ by restricting $\id$ to $A$:
-$$\idarr{A} = \id \upharpoonright A$$
+For any set $A$ we identify $\idarr{A}$ with the identity function on $A$ $\id$.
 
 $\circ$ is indeed associative.
 </div>