equal
deleted
inserted
replaced
2 ====== big ====== |
2 ====== big ====== |
3 |
3 |
4 * reconcile splittability with A-inf/families of maps examples |
4 * reconcile splittability with A-inf/families of maps examples |
5 |
5 |
6 * better discussion of systems of fields from disk-like n-cats |
6 * better discussion of systems of fields from disk-like n-cats |
7 ** splittability axiom for fields |
|
8 ** topology on fields, topology on morphisms (used in construction of BT) |
|
9 |
7 |
10 * need to fix fam-o-homeo argument per discussion with Rob |
8 * need to fix fam-o-homeo argument per discussion with Rob |
11 |
9 |
12 * 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 |
13 |
11 |
14 * 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. |
15 ** in the proof that gluing in dimension < n is injective |
13 ** in the proof that gluing in dimension < n is injective |
16 ** in the proof that D(a) is acyclic |
14 ** in the proof that D(a) is acyclic |
17 ** in the small blobs lemma |
|
18 |
15 |
19 * framings and duality -- work out what's going on! (alternatively, vague-ify current statement) |
16 * framings and duality -- work out what's going on! (alternatively, vague-ify current statement) |
20 |
17 |
21 * make sure we are clear that boundary = germ (perhaps we are already clear enough) |
18 * make sure we are clear that boundary = germ (perhaps we are already clear enough) |
22 |
19 |