equal
deleted
inserted
replaced
|
1 |
|
2 ====== big ====== |
1 |
3 |
2 * 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 |
3 |
5 |
|
6 * probably should go through and refer to new splitting axiom when we need to choose refinements etc. |
4 |
7 |
5 * Boundary of colimit -- not so easy to see! |
8 * Boundary of colimit -- not so easy to see! |
6 |
|
7 * ** new material in colimit section needs a proof-read |
|
8 |
9 |
9 |
10 |
10 * framings and duality -- work out what's going on! (alternatively, vague-ify current statement) |
11 * framings and duality -- work out what's going on! (alternatively, vague-ify current statement) |
11 |
12 |
12 * make sure we are clear that boundary = germ |
13 * make sure we are clear that boundary = germ (perhaps we are already clear enough) |
13 |
|
14 * go through text and remove any disclaimers about continuous (as oppsed to PL) homeos |
|
15 |
|
16 * review colors in figures |
|
17 |
14 |
18 * maybe say something in colimit section about restriction to submanifolds and submanifolds of boundary (we use this in n-cat axioms) |
15 * maybe say something in colimit section about restriction to submanifolds and submanifolds of boundary (we use this in n-cat axioms) |
19 |
16 |
|
17 |
|
18 |
|
19 ====== minor/optional ====== |
20 |
20 |
21 * ? define Morita equivalence? |
21 * ? define Morita equivalence? |
22 |
22 |
23 * consider proving the gluing formula for higher codimension manifolds with |
23 * consider proving the gluing formula for higher codimension manifolds with |
24 morita equivalence |
24 morita equivalence |
26 * leftover: we used to require that composition of A-infinity n-morphisms was injective (just like lower morphisms). Should we stick this back in? I don't think we use it anywhere. |
26 * leftover: we used to require that composition of A-infinity n-morphisms was injective (just like lower morphisms). Should we stick this back in? I don't think we use it anywhere. |
27 |
27 |
28 * 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 |
28 * 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 |
29 (but since the strict version of this is true for BT_*, maybe we're OK) |
29 (but since the strict version of this is true for BT_*, maybe we're OK) |
30 |
30 |
31 * probably should go through and refer to new splitting axiom when we need to choose refinements etc. |
31 * review colors in figures |
32 |
32 |
33 |
33 |
|
34 ====== Scott ====== |
34 |
35 |
35 * SCOTT will go through appendix C.2 and make it better |
36 * SCOTT will go through appendix C.2 and make it better |
36 |
37 |
37 * SCOTT: typo in delfig3a -- upper g should be g^{-1} |
38 * SCOTT: typo in delfig3a -- upper g should be g^{-1} |
38 |
39 |
40 |
41 |
41 * SCOTT: figure for example 3.1.2 (sin 1/z) |
42 * SCOTT: figure for example 3.1.2 (sin 1/z) |
42 |
43 |
43 * SCOTT: add vertical arrow to middle of figure 19 (decomp poset) |
44 * SCOTT: add vertical arrow to middle of figure 19 (decomp poset) |
44 |
45 |
45 * SCOTT: review/proof-read recent KW changes |
46 * SCOTT: review/proof-read recent KW changes, especially colimit section and n-cat axioms |