diff options
| author | Gregor Kleen <gkleen@yggdrasil.li> | 2016-02-02 22:57:15 +0100 |
|---|---|---|
| committer | Gregor Kleen <gkleen@yggdrasil.li> | 2016-02-02 22:57:15 +0100 |
| commit | 7ff393170b2e542540ee5c0e044839e4df449947 (patch) | |
| tree | 63e35d6fd62282b3c7fe33e3a4bff1f89b0a6e51 | |
| parent | ac417ac4f05b2f0422e6473a65a747692f130273 (diff) | |
| download | dirty-haskell.org-7ff393170b2e542540ee5c0e044839e4df449947.tar dirty-haskell.org-7ff393170b2e542540ee5c0e044839e4df449947.tar.gz dirty-haskell.org-7ff393170b2e542540ee5c0e044839e4df449947.tar.bz2 dirty-haskell.org-7ff393170b2e542540ee5c0e044839e4df449947.tar.xz dirty-haskell.org-7ff393170b2e542540ee5c0e044839e4df449947.zip | |
comment on 1.2.1
| -rw-r--r-- | provider/posts/simmons-intro-to-cat-t/1.2.md | 2 |
1 files changed, 2 insertions, 0 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 00a9546..eef7a0a 100644 --- a/provider/posts/simmons-intro-to-cat-t/1.2.md +++ b/provider/posts/simmons-intro-to-cat-t/1.2.md | |||
| @@ -45,5 +45,7 @@ Let $\ca{Pno}$ be the category of objects $(A, \alpha, a)$ where $A$ is a set, $ | |||
| 45 | * $f(0) = a = g(0)$ | 45 | * $f(0) = a = g(0)$ |
| 46 | * Given $n \in \N$: | 46 | * Given $n \in \N$: |
| 47 | $$(f \circ \mathrm{succ})(n) = (\alpha \circ f)(n) \overset{\text{ind.}}{=} (\alpha \circ g)(n) = (g \circ \mathrm{succ})(n)$$ | 47 | $$(f \circ \mathrm{succ})(n) = (\alpha \circ f)(n) \overset{\text{ind.}}{=} (\alpha \circ g)(n) = (g \circ \mathrm{succ})(n)$$ |
| 48 | |||
| 49 | The morphism maps $\N$ to the transitive closure of $a$ under $\alpha$. | ||
| 48 | </div> | 50 | </div> |
| 49 | </div> | 51 | </div> |