equal
deleted
inserted
replaced
736 When $Y$ is a point this produces an $A_\infty$ $n$-category from a topological $n$-category, |
736 When $Y$ is a point this produces an $A_\infty$ $n$-category from a topological $n$-category, |
737 which can be thought of as a free resolution. |
737 which can be thought of as a free resolution. |
738 \end{rem} |
738 \end{rem} |
739 This result is described in more detail as Example 6.2.8 of \cite{1009.5025}. |
739 This result is described in more detail as Example 6.2.8 of \cite{1009.5025}. |
740 |
740 |
741 Fix a topological $n$-category $\cC$, which we'll now omit from notation. |
741 %Fix a topological $n$-category $\cC$, which we'll now omit from notation. |
742 Recall that for any $(n-1)$-manifold $Y$, the blob complex $\bc_*(Y)$ is naturally an $A_\infty$ category. |
742 %Recall that for any $(n-1)$-manifold $Y$, the blob complex $\bc_*(Y)$ is naturally an $A_\infty$ category. |
|
743 The $A_\infty$ actions above allow us to state a gluing theorem. |
|
744 For simplicity, we omit the $n$-category $\cC$ from the notation. |
743 |
745 |
744 \begin{thm}[Gluing formula] |
746 \begin{thm}[Gluing formula] |
745 \label{thm:gluing} |
747 \label{thm:gluing} |
746 \mbox{}% <-- gets the indenting right |
748 \mbox{}% <-- gets the indenting right |
747 \begin{itemize} |
749 \begin{itemize} |