--- a/text/ncat.tex	Thu Jun 10 22:00:06 2010 +0200
+++ b/text/ncat.tex	Sun Jun 13 14:26:31 2010 +0200
@@ -82,7 +82,7 @@
 The 0-sphere is unusual among spheres in that it is disconnected.
 Correspondingly, for 1-morphisms it makes sense to distinguish between domain and range.
 (Actually, this is only true in the oriented case, with 1-morphisms parameterized
-by oriented 1-balls.)
+by {\it oriented} 1-balls.)
 For $k>1$ and in the presence of strong duality the division into domain and range makes less sense.
 For example, in a pivotal tensor category, there are natural isomorphisms $\Hom{}{A}{B \tensor C} \isoto \Hom{}{B^* \tensor A}{C}$, etc. 
 (sometimes called ``Frobenius reciprocity''), which canonically identify all the morphism spaces which have the same boundary.