equal
deleted
inserted
replaced
2 ====== big ====== |
2 ====== big ====== |
3 |
3 |
4 * better discussion of systems of fields from disk-like n-cats |
4 * better discussion of systems of fields from disk-like n-cats |
5 (Is this done by now?) |
5 (Is this done by now?) |
6 |
6 |
7 * ?? say clearly that certain lemmas don't work for TOP; we're only claiming DIFF and PL (requires small changes in many places) |
7 * double-check for mentions of TOP |
8 |
8 |
9 * need to fix fam-o-homeo argument per discussion with Rob (or just remove it) |
9 * (maybe) say somewhere what's missing for TOP |
10 |
10 |
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 |
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 |
12 |
12 |
13 * probably should go through and refer to new splitting axiom when we need to choose refinements etc. |
13 * probably should go through and refer to new splitting axiom when we need to choose refinements etc. |
14 ** in the proof that gluing in dimension < n is injective |
14 ** in the proof that gluing in dimension < n is injective |