From 4a36aba4e0991ee3987b8b3b63bed4a3fa52e6f9 Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gkleen@yggdrasil.li>
Date: Thu, 4 Feb 2016 13:45:17 +0100
Subject: minor correction

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

(limited to 'provider')

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 bb6c1ad..aeac8d7 100644
--- a/provider/posts/simmons-intro-to-cat-t/1.2.md
+++ b/provider/posts/simmons-intro-to-cat-t/1.2.md
@@ -174,7 +174,7 @@ f(a) & \quad x \in \bar{A} \\
 \end{aligned} \\
 \Phi^\leftarrow : \ca{Set_\bot} & \to \ca{Pfn} \\
 A & \mapsto A - \{ \bot \} \\
-f & \mapsto \rest{f}{\left ( A - \{ \bot \} \right )}
+\arr{f}{A}{B} & \mapsto \rest{f}{\left ( A - \{ \bot \} \right )}
 \end{aligned}
 $$
 where $\rest{f}{\bar{A}}$ is total.
-- 
cgit v1.2.3