changeset 823 | 719931014d3a |
parent 821 | 6868130229bf |
child 830 | b9b4ae3f8351 |
child 839 | 1d372b9675e3 |
--- a/blob to-do Sat Jun 25 18:14:37 2011 -0700 +++ b/blob to-do Mon Jun 27 14:26:13 2011 -0700 @@ -1,6 +1,10 @@ ====== big ====== +* reconcile splittability with A-inf/familaies of maps examples + +* better iscussion of systems of fields from disk-like n-cats + * need to fix fam-o-homeo argument per discussion with Rob * 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