comment on 1.2.1

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, $
       * $f(0) = a = g(0)$
       * Given $n \in \N$:
       $$(f \circ \mathrm{succ})(n) = (\alpha \circ f)(n) \overset{\text{ind.}}{=} (\alpha \circ g)(n) = (g \circ \mathrm{succ})(n)$$
+      
+    The morphism maps $\N$ to the transitive closure of $a$ under $\alpha$.
     </div>
 </div>