equal
deleted
inserted
replaced
1 Not sure where this goes yet. |
1 %!TEX root = ../blob1.tex |
|
2 \nn{Not sure where this goes yet: small blobs, unfinished:} |
2 |
3 |
3 Fix $\cU$, an open cover of $M$. Define the `small blob complex' $\bc^{\cU}_*(M)$ to be the subcomplex of $\bc_*(M)$ of all blob diagrams in which every blob is contained in some open set of $\cU$. |
4 Fix $\cU$, an open cover of $M$. Define the `small blob complex' $\bc^{\cU}_*(M)$ to be the subcomplex of $\bc_*(M)$ of all blob diagrams in which every blob is contained in some open set of $\cU$. |
4 |
5 |
5 \begin{lem}[Small blobs] |
6 \begin{lem}[Small blobs] |
6 The inclusion $i: \bc^{\cU}_*(M) \into \bc_*(M)$ is a homotopy equivalence. |
7 The inclusion $i: \bc^{\cU}_*(M) \into \bc_*(M)$ is a homotopy equivalence. |