From d27c8f4770ffb19920ed1cf83996efc577bc8d11 Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gkleen@yggdrasil.li>
Date: Wed, 3 Feb 2016 22:09:36 +0100
Subject: typo

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

(limited to 'provider/posts/simmons-intro-to-cat-t')

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 30d0492..bb6c1ad 100644
--- a/provider/posts/simmons-intro-to-cat-t/1.2.md
+++ b/provider/posts/simmons-intro-to-cat-t/1.2.md
@@ -5,7 +5,7 @@ tags: Category Theory
 ---
 
 <div class="exercise">
-Let $\ca{Pno}$ be the category of objects $(A, \alpha, a)$ where $A$ is a set, $\alpha : A \to A$ is a unary function, and $a \in A$ is a nominated Element and morphisms $\arr{(A, \alpha, a)}{}{(B, \beta, b)}$ which are functions $f: A \to B$ preserving the structure such that $f \circ \alpha = \beta \circ f$ and $f(a) = b$.
+Let $\ca{Pno}$ be the category of objects $(A, \alpha, a)$ where $A$ is a set, $\alpha : A \to A$ is a unary function, and $a \in A$ is a nominated element and morphisms $\arr{(A, \alpha, a)}{}{(B, \beta, b)}$ which are functions $f: A \to B$ preserving the structure such that $f \circ \alpha = \beta \circ f$ and $f(a) = b$.
 
  a) Verify that $\ca{Pno}$ is a category
  
-- 
cgit v1.2.3