equal
deleted
inserted
replaced
423 $f(U(B; c)) = U(B', f(c))$ for all homeomorphisms $f: B \to B'$ |
423 $f(U(B; c)) = U(B', f(c))$ for all homeomorphisms $f: B \to B'$ |
424 \item Local relations imply extended isotopy: |
424 \item Local relations imply extended isotopy: |
425 if $x, y \in \cC(B; c)$ and $x$ is extended isotopic |
425 if $x, y \in \cC(B; c)$ and $x$ is extended isotopic |
426 to $y$, then $x-y \in U(B; c)$. |
426 to $y$, then $x-y \in U(B; c)$. |
427 \item Ideal with respect to gluing: |
427 \item Ideal with respect to gluing: |
428 if $B = B' \cup B''$, $x\in U(B')$, and $c\in \cC(B'')$, then $x\bullet r \in U(B)$ |
428 if $B = B' \cup B''$, $x\in U(B')$, and $r\in \cC(B'')$, then $x\bullet r \in U(B)$ |
429 \end{enumerate} |
429 \end{enumerate} |
430 \end{defn} |
430 \end{defn} |
431 See \cite{kw:tqft} for further details. |
431 See \cite{kw:tqft} for further details. |
432 |
432 |
433 |
433 |