summaryrefslogtreecommitdiff
path: root/provider/posts
diff options
context:
space:
mode:
authorGregor Kleen <gkleen@yggdrasil.li>2016-02-03 22:09:36 +0100
committerGregor Kleen <gkleen@yggdrasil.li>2016-02-03 22:09:36 +0100
commitd27c8f4770ffb19920ed1cf83996efc577bc8d11 (patch)
treea7d3c39c06be90908f4fc16b2fcf7342ea0223b5 /provider/posts
parent5553a3223d07f73955465952d7765d47d3558d7b (diff)
downloaddirty-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.md2
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">
8Let $\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$. 8Let $\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