1080 %\nn{start with (less general) tensor products; maybe change this later}

  1080 %\nn{start with (less general) tensor products; maybe change this later}

  1081 

  1081 

  1082 

  1082 

  1083 

  1083 

  1084 \subsection{The $n{+}1$-category of sphere modules}

  1084 \subsection{The $n{+}1$-category of sphere modules}

  1085 

  1086 

  1086 In this subsection we define an $n{+}1$-category $\cS$ of ``sphere modules" 

  1087 In this subsection we define an $n{+}1$-category $\cS$ of ``sphere modules" 

  1087 whose objects correspond to $n$-categories.

  1088 whose objects correspond to $n$-categories.

  1088 This is a version of the familiar algebras-bimodules-intertwiners 2-category.

  1089 This is a version of the familiar algebras-bimodules-intertwiners 2-category.

  1089 (Terminology: It is clearly appropriate to call an $S^0$ modules a bimodule,

  1090 (Terminology: It is clearly appropriate to call an $S^0$ modules a bimodule,