diff options
author | Gregor Kleen <gkleen@yggdrasil.li> | 2016-02-03 22:09:36 +0100 |
---|---|---|
committer | Gregor Kleen <gkleen@yggdrasil.li> | 2016-02-03 22:09:36 +0100 |
commit | d27c8f4770ffb19920ed1cf83996efc577bc8d11 (patch) | |
tree | a7d3c39c06be90908f4fc16b2fcf7342ea0223b5 /provider/posts | |
parent | 5553a3223d07f73955465952d7765d47d3558d7b (diff) | |
download | dirty-haskell.org-d27c8f4770ffb19920ed1cf83996efc577bc8d11.tar dirty-haskell.org-d27c8f4770ffb19920ed1cf83996efc577bc8d11.tar.gz dirty-haskell.org-d27c8f4770ffb19920ed1cf83996efc577bc8d11.tar.bz2 dirty-haskell.org-d27c8f4770ffb19920ed1cf83996efc577bc8d11.tar.xz dirty-haskell.org-d27c8f4770ffb19920ed1cf83996efc577bc8d11.zip |
typo
Diffstat (limited to 'provider/posts')
-rw-r--r-- | provider/posts/simmons-intro-to-cat-t/1.2.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/provider/posts/simmons-intro-to-cat-t/1.2.md b/provider/posts/simmons-intro-to-cat-t/1.2.md index 30d0492..bb6c1ad 100644 --- a/provider/posts/simmons-intro-to-cat-t/1.2.md +++ b/provider/posts/simmons-intro-to-cat-t/1.2.md | |||
@@ -5,7 +5,7 @@ tags: Category Theory | |||
5 | --- | 5 | --- |
6 | 6 | ||
7 | <div class="exercise"> | 7 | <div class="exercise"> |
8 | Let $\ca{Pno}$ be the category of objects $(A, \alpha, a)$ where $A$ is a set, $\alpha : A \to A$ is a unary function, and $a \in A$ is a nominated Element and morphisms $\arr{(A, \alpha, a)}{}{(B, \beta, b)}$ which are functions $f: A \to B$ preserving the structure such that $f \circ \alpha = \beta \circ f$ and $f(a) = b$. | 8 | Let $\ca{Pno}$ be the category of objects $(A, \alpha, a)$ where $A$ is a set, $\alpha : A \to A$ is a unary function, and $a \in A$ is a nominated element and morphisms $\arr{(A, \alpha, a)}{}{(B, \beta, b)}$ which are functions $f: A \to B$ preserving the structure such that $f \circ \alpha = \beta \circ f$ and $f(a) = b$. |
9 | 9 | ||
10 | a) Verify that $\ca{Pno}$ is a category | 10 | a) Verify that $\ca{Pno}$ is a category |
11 | 11 | ||