diff options
| author | Gregor Kleen <gkleen@yggdrasil.li> | 2016-01-30 12:59:15 +0100 |
|---|---|---|
| committer | Gregor Kleen <gkleen@yggdrasil.li> | 2016-01-30 12:59:15 +0100 |
| commit | 59180f2341fed21ac13b22ab4addf98a60b0fcce (patch) | |
| tree | d1115c3ecb46ba61e3b6a05f9273ad70e9a76e08 /provider/posts/simmons-intro-to-cat-t | |
| parent | 2a28e0b12f256ee7c109c0646d7daac5807f741c (diff) | |
| download | dirty-haskell.org-59180f2341fed21ac13b22ab4addf98a60b0fcce.tar dirty-haskell.org-59180f2341fed21ac13b22ab4addf98a60b0fcce.tar.gz dirty-haskell.org-59180f2341fed21ac13b22ab4addf98a60b0fcce.tar.bz2 dirty-haskell.org-59180f2341fed21ac13b22ab4addf98a60b0fcce.tar.xz dirty-haskell.org-59180f2341fed21ac13b22ab4addf98a60b0fcce.zip | |
removed weird restriction
Diffstat (limited to 'provider/posts/simmons-intro-to-cat-t')
| -rw-r--r-- | provider/posts/simmons-intro-to-cat-t/1.1.md | 3 |
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}$. | |||
| 10 | <div class="proof"> | 10 | <div class="proof"> |
| 11 | The objects of $\ca{Set}$ are sets and its arrows are functions. | 11 | The objects of $\ca{Set}$ are sets and its arrows are functions. |
| 12 | 12 | ||
| 13 | For any set $A$ we construct $\idarr{A}$ by restricting $\id$ to $A$: | 13 | For any set $A$ we identify $\idarr{A}$ with the identity function on $A$ $\id$. |
| 14 | $$\idarr{A} = \id \upharpoonright A$$ | ||
| 15 | 14 | ||
| 16 | $\circ$ is indeed associative. | 15 | $\circ$ is indeed associative. |
| 17 | </div> | 16 | </div> |