equal
deleted
inserted
replaced
137 \S \ref{ss:ncat_fields} |
137 \S \ref{ss:ncat_fields} |
138 %$\displaystyle \cF(M) = \DirectSum_{c \in\cell(M)} \cC(c)$ \\ $\displaystyle U(B) = \DirectSum_{c \in \cell(B)} \ker \ev: \cC(c) \to \cC(B)$ |
138 %$\displaystyle \cF(M) = \DirectSum_{c \in\cell(M)} \cC(c)$ \\ $\displaystyle U(B) = \DirectSum_{c \in \cell(B)} \ker \ev: \cC(c) \to \cC(B)$ |
139 } (FU.100); |
139 } (FU.100); |
140 \draw[->] (C.210) -- node[above left=3pt] {restrict to \\ standard balls} (tC.42); |
140 \draw[->] (C.210) -- node[above left=3pt] {restrict to \\ standard balls} (tC.42); |
141 \draw[->] (tC) -- node[below=4.5pt] {c.f. \S \ref{sec:comparing-defs}} (C.220); |
141 \draw[->] (tC) -- node[below=4.5pt] {c.f. \S \ref{sec:comparing-defs}} (C.220); |
142 \draw[->] (FU.80) -- node[right] {restrict \\ to balls} (C.-80); |
142 \draw[->] (FU.80) -- +(0,0.5) -- node[right] {restrict to balls \\ Lem \ref{lem:ncat-from-fields}} (C.-80); |
143 \draw[->] (BC) -- node[right] {$H_0$ \\ c.f. Proposition \ref{thm:skein-modules}} (A); |
143 \draw[->] (BC) -- node[right] {$H_0$ \\ c.f. Proposition \ref{thm:skein-modules}} (A); |
144 |
144 |
145 \draw[->] (FU) -- node[left] {blob complex \\ for balls \\ Example \ref{ex:blob-complexes-of-balls}} (Cs); |
145 \draw[->] (FU) -- node[left] {blob complex \\ for balls \\ Example \ref{ex:blob-complexes-of-balls}} (Cs); |
146 \draw[<->] (BC) -- node[right] {$\iso$ by \\ Corollary \ref{cor:new-old}} (BCs); |
146 \draw[<->] (BC) -- node[right] {$\iso$ by \\ Corollary \ref{cor:new-old}} (BCs); |
147 \end{tikzpicture} |
147 \end{tikzpicture} |