From 927fe04b9bc95239bc6e6506e74bd47d6edbe0b0 Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gkleen@yggdrasil.li>
Date: Wed, 3 Feb 2016 21:24:04 +0100
Subject: minor corrections

---
 provider/posts/simmons-intro-to-cat-t/1.2.md | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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 c714f81..e180c6d 100644
--- a/provider/posts/simmons-intro-to-cat-t/1.2.md
+++ b/provider/posts/simmons-intro-to-cat-t/1.2.md
@@ -136,6 +136,7 @@ A \arrow[r, "f"] & B \arrow[r, "g"] & C \\
 \bar{\bar{A}} \arrow[u, hook] \arrow[ru, "\rest{f}{\bar{\bar{A}}}" description] & & \\
 \end{tikzcd}
 $$
+where all restricted versions of $f$, $g$, and $h$ are total.
 
 Extending the above to three partial functions $f : A \to B$, $g : B \to C$, and $h : C \to D$:
 $$
@@ -160,7 +161,7 @@ $$
 \begin{aligned}
 \Phi : \ca{Pfn} & \to \ca{Set_\bot} \\
 A & \mapsto A \cup \{ \bot_A \} \\
-\begin{tikzcd}
+f\ \text{s.t.} \begin{tikzcd}
 A \arrow[r, "f"] & B \\
 \bar{A} \arrow[u, hook] \arrow[ru, "\rest{f}{\bar{A}}" description] & 
 \end{tikzcd} & \mapsto \begin{aligned}
@@ -176,5 +177,7 @@ A & \mapsto A - \{ \bot \} \\
 f & \mapsto \rest{f}{\left ( A - \{ \bot \} \right )}
 \end{aligned}
 $$
+where $\rest{f}{\bar{A}}$ is total.
 </div>
 </div>
+
-- 
cgit v1.2.3