--- a/blob to-do Wed Jun 29 16:13:24 2011 -0700
+++ b/blob to-do Wed Jun 29 16:17:53 2011 -0700
@@ -3,14 +3,18 @@
* reconcile splittability with A-inf/familaies of maps examples
-* better iscussion of systems of fields from disk-like n-cats
+* better discussion of systems of fields from disk-like n-cats
+** splittability axiom for fields
+** topology on fields, topology on morphisms (used in construction of BT)
* 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
* probably should go through and refer to new splitting axiom when we need to choose refinements etc.
-
+** in the proof that gluing in dimension < n is injective
+** in the proof that D(a) is acyclic
+** in the small blobs lemma
* framings and duality -- work out what's going on! (alternatively, vague-ify current statement)