summaryrefslogtreecommitdiff
path: root/provider
diff options
context:
space:
mode:
Diffstat (limited to 'provider')
-rw-r--r--provider/posts/simmons-intro-to-cat-t/1.2.md2
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>