# HG changeset patch
# User Scott Morrison <scott@tqft.net>
# Date 1304726058 25200
# Node ID cfd1521a098687db79d935931341e168343fd4a6
# Parent  a1deadac3fc08251c58f08de21f7fecce121ac97
correcting typo

diff -r a1deadac3fc0 -r cfd1521a0986 text/ncat.tex
--- a/text/ncat.tex	Fri May 06 16:52:59 2011 -0700
+++ b/text/ncat.tex	Fri May 06 16:54:18 2011 -0700
@@ -128,8 +128,8 @@
 along with the data described in the other axioms for smaller values of $k$. 
 
 Of course, Lemma \ref{lem:spheres}, as stated, is satisfied by the trivial functor.
-What we really mean is that there is exists a functor which interacts with other data of $\cC$ as specified 
-in the other axioms below.
+What we really mean is that there exists a functor which interacts with the other data of $\cC$ as specified 
+in the axioms below.
 
 
 \begin{axiom}[Boundaries]\label{nca-boundary}