equal
deleted
inserted
replaced
9 |
9 |
10 * 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 |
10 * 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 |
11 |
12 * probably should go through and refer to new splitting axiom when we need to choose refinements etc. |
12 * probably should go through and refer to new splitting axiom when we need to choose refinements etc. |
13 ** in the proof that gluing in dimension < n is injective |
13 ** in the proof that gluing in dimension < n is injective |
14 ** in the proof that D(a) is acyclic |
|
15 |
14 |
16 * 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) |
17 |
16 |
18 * make sure we are clear that boundary = germ (perhaps we are already clear enough) |
17 * make sure we are clear that boundary = germ (perhaps we are already clear enough) |
19 |
18 |