--- a/blob to-do Sat Oct 22 13:26:53 2011 -0600
+++ b/blob to-do Sat Oct 22 18:07:32 2011 -0600
@@ -3,22 +3,9 @@
* 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
-
-* revisit splitting axiom for system of fields; check use of it in small blobs lemma
-
* framings and duality -- work out what's going on! (alternatively, vague-ify current statement)
-(for reference:
- * places splitting axiom is used:
- ** in the proof that gluing in dimension < n is injective
- ** in the proof that D(a) is acyclic
- ** in the small blobs lemma
-)
-
-
====== minor/optional ======
* consider proving the gluing formula for higher codimension manifolds with
@@ -42,3 +29,16 @@
* SCOTT will go through appendix C.2 and make it better (Schulman's example?)
* SCOTT: review/proof-read recent KW changes, especially colimit section and n-cat axioms
+
+
+
+
+
+
+(for reference:
+ * places splitting axiom is used:
+ ** in the proof that gluing in dimension < n is injective
+ ** in the proof that D(a) is acyclic
+ ** in the small blobs lemma
+)
+