equal
deleted
inserted
replaced
103 |
103 |
104 Similar arguments show that modules for topological 1-categories are essentially |
104 Similar arguments show that modules for topological 1-categories are essentially |
105 the same thing as traditional modules for traditional 1-categories. |
105 the same thing as traditional modules for traditional 1-categories. |
106 |
106 |
107 |
107 |
108 \subsection{Plain 2-categories} |
108 \subsection{Pivotal 2-categories} |
109 \label{ssec:2-cats} |
109 \label{ssec:2-cats} |
110 Let $\cC$ be a topological 2-category. |
110 Let $\cC$ be a topological 2-category. |
111 We will construct from $\cC$ a traditional pivotal 2-category. |
111 We will construct from $\cC$ a traditional pivotal 2-category. |
112 (The ``pivotal" corresponds to our assumption of strong duality for $\cC$.) |
112 (The ``pivotal" corresponds to our assumption of strong duality for $\cC$.) |
113 |
113 |