equal
deleted
inserted
replaced
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. |
6 * probably should go through and refer to new splitting axiom when we need to choose refinements etc. |
7 |
7 |
8 * Boundary of colimit -- not so easy to see! |
|
9 |
|
10 |
8 |
11 * framings and duality -- work out what's going on! (alternatively, vague-ify current statement) |
9 * framings and duality -- work out what's going on! (alternatively, vague-ify current statement) |
12 |
10 |
13 * make sure we are clear that boundary = germ (perhaps we are already clear enough) |
11 * make sure we are clear that boundary = germ (perhaps we are already clear enough) |
14 |
|
15 * maybe say something in colimit section about restriction to submanifolds and submanifolds of boundary (we use this in n-cat axioms) |
|
16 |
12 |
17 |
13 |
18 |
14 |
19 ====== minor/optional ====== |
15 ====== minor/optional ====== |
20 |
16 |