equal
deleted
inserted
replaced
17 (the paper is already too long!), we do not pursue this here. |
17 (the paper is already too long!), we do not pursue this here. |
18 |
18 |
19 We emphasize that we are just sketching some of the main ideas in this appendix --- |
19 We emphasize that we are just sketching some of the main ideas in this appendix --- |
20 it falls well short of proving the definitions are equivalent. |
20 it falls well short of proving the definitions are equivalent. |
21 |
21 |
22 %\nn{cases to cover: (a) plain $n$-cats for $n=1,2$; (b) $n$-cat modules for $n=1$, also 2?; |
22 %\nn{cases to cover: (a) ordinary $n$-cats for $n=1,2$; (b) $n$-cat modules for $n=1$, also 2?; |
23 %(c) $A_\infty$ 1-cat; (b) $A_\infty$ 1-cat module?; (e) tensor products?} |
23 %(c) $A_\infty$ 1-cat; (b) $A_\infty$ 1-cat module?; (e) tensor products?} |
24 |
24 |
25 \subsection{1-categories over \texorpdfstring{$\Set$ or $\Vect$}{Set or Vect}} |
25 \subsection{1-categories over \texorpdfstring{$\Set$ or $\Vect$}{Set or Vect}} |
26 \label{ssec:1-cats} |
26 \label{ssec:1-cats} |
27 Given a topological $1$-category $\cX$ we construct a $1$-category in the conventional sense, $c(\cX)$. |
27 Given a topological $1$-category $\cX$ we construct a $1$-category in the conventional sense, $c(\cX)$. |