equal
deleted
inserted
replaced
1 |
1 |
2 ====== big ====== |
2 ====== big ====== |
3 |
3 |
4 * reconcile splittability with A-inf/familaies of maps examples |
4 * reconcile splittability with A-inf/families of maps examples |
5 |
5 |
6 * better iscussion of systems of fields from disk-like n-cats |
6 * better discussion of systems of fields from disk-like n-cats |
7 |
7 |
8 * need to fix fam-o-homeo argument per discussion with Rob |
8 * need to fix fam-o-homeo argument per discussion with Rob |
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 |