changeset 481 | 7caafccef7e8 |
parent 480 | a26808b5db66 |
child 498 | b98790f0282e |
--- a/text/appendixes/comparing_defs.tex Fri Jul 23 20:13:19 2010 -0600 +++ b/text/appendixes/comparing_defs.tex Mon Jul 26 22:57:43 2010 -0400 @@ -105,7 +105,7 @@ the same thing as traditional modules for traditional 1-categories. -\subsection{Plain 2-categories} +\subsection{Pivotal 2-categories} \label{ssec:2-cats} Let $\cC$ be a topological 2-category. We will construct from $\cC$ a traditional pivotal 2-category.