equal
deleted
inserted
replaced
1 |
1 |
2 ====== big ====== |
2 ====== big ====== |
3 |
3 |
4 * better discussion of systems of fields from disk-like n-cats |
|
5 (Is this done by now?) |
|
6 |
|
7 * double-check for mentions of TOP |
4 * double-check for mentions of TOP |
8 |
5 |
9 * (maybe) say somewhere what's missing for TOP |
6 * (maybe) say somewhere what's missing for TOP |
10 |
7 |
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 |
8 * 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 |
15 |
12 |
16 * revisit splitting axiom for system of fields; check use of it in small blobs lemma |
13 * revisit splitting axiom for system of fields; check use of it in small blobs lemma |
17 |
14 |
18 * framings and duality -- work out what's going on! (alternatively, vague-ify current statement) |
15 * framings and duality -- work out what's going on! (alternatively, vague-ify current statement) |
19 |
16 |
20 * make sure we are clear that boundary = germ (perhaps we are already clear enough) |
|
21 |
17 |
22 |
18 (for reference: |
23 * places splitting axiom is used: |
19 * places splitting axiom is used: |
24 ** in the proof that gluing in dimension < n is injective |
20 ** in the proof that gluing in dimension < n is injective |
25 ** in the proof that D(a) is acyclic |
21 ** in the proof that D(a) is acyclic |
26 ** in the small blobs lemma |
22 ** in the small blobs lemma |
27 |
23 ) |
28 |
24 |
29 |
25 |
30 ====== minor/optional ====== |
26 ====== minor/optional ====== |
31 |
27 |
32 * consider proving the gluing formula for higher codimension manifolds with |
28 * consider proving the gluing formula for higher codimension manifolds with |
37 * should we require, for A-inf n-cats, that families which preserve product morphisms act trivially? as now defined, this is only true up to homotopy for the blob complex, so maybe best not to open that can of worms |
33 * should we require, for A-inf n-cats, that families which preserve product morphisms act trivially? as now defined, this is only true up to homotopy for the blob complex, so maybe best not to open that can of worms |
38 (but since the strict version of this is true for BT_*, maybe we're OK) |
34 (but since the strict version of this is true for BT_*, maybe we're OK) |
39 |
35 |
40 * review colors in figures |
36 * review colors in figures |
41 |
37 |
|
38 * better discussion of systems of fields from disk-like n-cats |
|
39 (Is this done by now?) |
|
40 |
|
41 * make sure we are clear that boundary = germ (perhaps we are already clear enough) |
|
42 |
42 |
43 |
43 ====== Scott ====== |
44 ====== Scott ====== |
44 |
45 |
45 * SCOTT will go through appendix C.2 and make it better (Schulman's example?) |
46 * SCOTT will go through appendix C.2 and make it better (Schulman's example?) |
46 |
47 |