--- 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.