equal
deleted
inserted
replaced
1 |
1 |
2 ====== big ====== |
2 ====== big ====== |
3 |
3 |
4 * 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 |
4 * 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 |
5 |
5 |
6 * probably should go through and refer to new splitting axiom when we need to choose refinements etc. |
|
7 **** in the proof that gluing in dimension < n is injective |
|
8 |
|
9 * revisit splitting axiom for system of fields; check use of it in small blobs lemma |
|
10 |
|
11 * framings and duality -- work out what's going on! (alternatively, vague-ify current statement) |
6 * framings and duality -- work out what's going on! (alternatively, vague-ify current statement) |
12 |
|
13 |
|
14 (for reference: |
|
15 * places splitting axiom is used: |
|
16 ** in the proof that gluing in dimension < n is injective |
|
17 ** in the proof that D(a) is acyclic |
|
18 ** in the small blobs lemma |
|
19 ) |
|
20 |
7 |
21 |
8 |
22 ====== minor/optional ====== |
9 ====== minor/optional ====== |
23 |
10 |
24 * consider proving the gluing formula for higher codimension manifolds with |
11 * consider proving the gluing formula for higher codimension manifolds with |
40 ====== Scott ====== |
27 ====== Scott ====== |
41 |
28 |
42 * SCOTT will go through appendix C.2 and make it better (Schulman's example?) |
29 * SCOTT will go through appendix C.2 and make it better (Schulman's example?) |
43 |
30 |
44 * SCOTT: review/proof-read recent KW changes, especially colimit section and n-cat axioms |
31 * SCOTT: review/proof-read recent KW changes, especially colimit section and n-cat axioms |
|
32 |
|
33 |
|
34 |
|
35 |
|
36 |
|
37 |
|
38 (for reference: |
|
39 * places splitting axiom is used: |
|
40 ** in the proof that gluing in dimension < n is injective |
|
41 ** in the proof that D(a) is acyclic |
|
42 ** in the small blobs lemma |
|
43 ) |
|
44 |