pnas/pnas.tex
changeset 692 741fed9522cf
parent 678 e0bd7c5ec864
child 712 e982f12f163b
equal deleted inserted replaced
690:700026bd2470 692:741fed9522cf
   444 
   444 
   445 \section{Definitions}
   445 \section{Definitions}
   446 \subsection{$n$-categories} \mbox{}
   446 \subsection{$n$-categories} \mbox{}
   447 
   447 
   448 In this section we give a definition of $n$-categories designed to work well with TQFTs.
   448 In this section we give a definition of $n$-categories designed to work well with TQFTs.
   449 The main idea is to base the definition on actual balls, rather combinatorial models of them.
   449 The main idea is to base the definition on actual balls, rather than combinatorial models of them.
   450 This has the advantages of avoiding a proliferation of coherency axioms and building in a strong
   450 This has the advantages of avoiding a proliferation of coherency axioms and building in a strong
   451 version of duality from the start.
   451 version of duality from the start.
   452 
   452 
   453 
   453 
   454 %\nn{maybe say something about goals: well-suited to TQFTs; avoid proliferation of coherency axioms;
   454 %\nn{maybe say something about goals: well-suited to TQFTs; avoid proliferation of coherency axioms;