intertwinor -> intertwiner: http://www.googlefight.com/index.php?lang=en_GB\&word1=intertwiner\&word2=intertwinor
authorScott Morrison <scott@tqft.net>
Wed, 22 Jun 2011 16:07:55 -0700
changeset 811 858b80dfa05c
parent 810 eec1fd45225a
child 812 14d12dff8268
intertwinor -> intertwiner: http://www.googlefight.com/index.php?lang=en_GB\&word1=intertwiner\&word2=intertwinor
text/intro.tex
text/ncat.tex
--- a/text/intro.tex	Wed Jun 22 16:02:37 2011 -0700
+++ b/text/intro.tex	Wed Jun 22 16:07:55 2011 -0700
@@ -80,7 +80,7 @@
 
 In \S \ref{ssec:spherecat} we explain how $n$-categories can be viewed as objects in an $n{+}1$-category 
 of sphere modules.
-When $n=1$ this just the familiar 2-category of 1-categories, bimodules and intertwinors.
+When $n=1$ this just the familiar 2-category of 1-categories, bimodules and intertwiners.
 
 In \S \ref{ss:ncat_fields}  we explain how to construct a system of fields from a disk-like $n$-category 
 (using a colimit along certain decompositions of a manifold into balls). 
--- a/text/ncat.tex	Wed Jun 22 16:02:37 2011 -0700
+++ b/text/ncat.tex	Wed Jun 22 16:07:55 2011 -0700
@@ -1980,13 +1980,13 @@
 
 In this subsection we define $n{+}1$-categories $\cS$ of ``sphere modules".
 The objects are $n$-categories, the $k$-morphisms are $k{-}1$-sphere modules for $1\le k \le n$,
-and the $n{+}1$-morphisms are intertwinors.
+and the $n{+}1$-morphisms are intertwiners.
 With future applications in mind, we treat simultaneously the big category
 of all $n$-categories and all sphere modules and also subcategories thereof.
 When $n=1$ this is closely related to familiar $2$-categories consisting of 
 algebras, bimodules and intertwiners (or a subcategory of that).
 The sphere module $n{+}1$-category is a natural generalization of the 
-algebra-bimodule-intertwinor 2-category to higher dimensions.
+algebra-bimodule-intertwiner 2-category to higher dimensions.
 
 Another possible name for this $n{+}1$-category is $n{+}1$-category of defects.
 The $n$-categories are thought of as representing field theories, and the 
@@ -2594,7 +2594,7 @@
 
 We end this subsection with some remarks about Morita equivalence of disklike $n$-categories.
 Recall that two 1-categories $\cC$ and $\cD$ are Morita equivalent if and only if they are equivalent
-objects in the 2-category of (linear) 1-categories, bimodules, and intertwinors.
+objects in the 2-category of (linear) 1-categories, bimodules, and intertwiners.
 Similarly, we define two disklike $n$-categories to be Morita equivalent if they are equivalent objects in the
 $n{+}1$-category of sphere modules.
 
@@ -2624,14 +2624,14 @@
 
 We want the 2-morphisms from the previous paragraph to be equivalences, so we need 3-morphisms
 between various compositions of these 2-morphisms and various identity 2-morphisms.
-Recall that the 3-morphisms of $\cS$ are intertwinors between representations of 1-categories associated
+Recall that the 3-morphisms of $\cS$ are intertwiners between representations of 1-categories associated
 to decorated circles.
 Figure \ref{morita-fig-2} 
 \begin{figure}[t]
 $$\mathfig{.55}{tempkw/morita2}$$
-\caption{Intertwinors for a Morita equivalence}\label{morita-fig-2}
+\caption{intertwiners for a Morita equivalence}\label{morita-fig-2}
 \end{figure}
-shows the intertwinors we need.
+shows the intertwiners we need.
 Each decorated 2-ball in that figure determines a representation of the 1-category associated to the decorated circle
 on the boundary.
 This is the 3-dimensional part of the data for the Morita equivalence.
@@ -2644,15 +2644,15 @@
 These are illustrated in Figure \ref{morita-fig-3}.
 \begin{figure}[t]
 $$\mathfig{.65}{tempkw/morita3}$$
-\caption{Identities for intertwinors}\label{morita-fig-3}
+\caption{Identities for intertwiners}\label{morita-fig-3}
 \end{figure}
-Each line shows a composition of two intertwinors which we require to be equal to the identity intertwinor.
+Each line shows a composition of two intertwiners which we require to be equal to the identity intertwiner.
 
 For general $n$, we start with an $n$-category 0-sphere module $\cM$ which is the data for the 1-dimensional
 part of the Morita equivalence.
 For $2\le k \le n$, the $k$-dimensional parts of the Morita equivalence are various decorated $k$-balls with submanifolds
 labeled by $\cC$, $\cD$ and $\cM$; no additional data is needed for these parts.
-The $n{+}1$-dimensional part of the equivalence is given by certain intertwinors, and these intertwinors must 
+The $n{+}1$-dimensional part of the equivalence is given by certain intertwiners, and these intertwiners must 
 be invertible and satisfy
 identities corresponding to Morse cancellations in $n$-manifolds.