equal
deleted
inserted
replaced
9 * (maybe) say somewhere what's missing for TOP |
9 * (maybe) say somewhere what's missing for TOP |
10 |
10 |
11 * need to change module axioms to follow changes in n-cat axioms; search for and destroy all the "Homeo_\bd"'s, add a v-cone axiom |
11 * need to change module axioms to follow changes in n-cat axioms; search for and destroy all the "Homeo_\bd"'s, add a v-cone axiom |
12 |
12 |
13 * probably should go through and refer to new splitting axiom when we need to choose refinements etc. |
13 * probably should go through and refer to new splitting axiom when we need to choose refinements etc. |
14 ** in the proof that gluing in dimension < n is injective |
14 **** in the proof that gluing in dimension < n is injective |
|
15 |
|
16 * revisit splitting axiom for system of fields; check use of it in small blobs lemma |
15 |
17 |
16 * framings and duality -- work out what's going on! (alternatively, vague-ify current statement) |
18 * framings and duality -- work out what's going on! (alternatively, vague-ify current statement) |
17 |
19 |
18 * make sure we are clear that boundary = germ (perhaps we are already clear enough) |
20 * make sure we are clear that boundary = germ (perhaps we are already clear enough) |
|
21 |
|
22 |
|
23 * places splitting axiom is used: |
|
24 ** in the proof that gluing in dimension < n is injective |
|
25 ** in the proof that D(a) is acyclic |
|
26 ** in the small blobs lemma |
19 |
27 |
20 |
28 |
21 |
29 |
22 ====== minor/optional ====== |
30 ====== minor/optional ====== |
23 |
31 |