text/tqftreview.tex
changeset 885 61541264d4b3
parent 882 ae5d0f91340b
child 886 c570a7a75b07
equal deleted inserted replaced
884:d5caffd01b72 885:61541264d4b3
   391 \addtocounter{prop}{-2}
   391 \addtocounter{prop}{-2}
   392 
   392 
   393 These motivate the following definition.
   393 These motivate the following definition.
   394 
   394 
   395 \begin{defn}
   395 \begin{defn}
   396 A {\it local relation} is a collection subspaces $U(B; c) \sub \lf(B; c)$,
   396 A {\it local relation} is a collection of subspaces $U(B; c) \sub \lf(B; c)$,
   397 for all $n$-manifolds $B$ which are
   397 for all $n$-manifolds $B$ which are
   398 homeomorphic to the standard $n$-ball and all $c \in \cC(\bd B)$, 
   398 homeomorphic to the standard $n$-ball and all $c \in \cC(\bd B)$, 
   399 satisfying the following properties.
   399 satisfying the following properties.
   400 \begin{enumerate}
   400 \begin{enumerate}
   401 \item Functoriality: 
   401 \item Functoriality: