From 59180f2341fed21ac13b22ab4addf98a60b0fcce Mon Sep 17 00:00:00 2001 From: Gregor Kleen Date: Sat, 30 Jan 2016 12:59:15 +0100 Subject: removed weird restriction --- provider/posts/simmons-intro-to-cat-t/1.1.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'provider') 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}$.
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.
-- cgit v1.2.3