# HG changeset patch
# User Scott Morrison <scott@tqft.net>
# Date 1309389473 25200
# Node ID 029f73e2fda69cb4bfa072eed575665824e4fcdf
# Parent  ec6d957bc698a31325f8b93aeb925d6c9587804a
adding some TODOs

diff -r ec6d957bc698 -r 029f73e2fda6 blob to-do
--- 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)
 
diff -r ec6d957bc698 -r 029f73e2fda6 text/evmap.tex
--- a/text/evmap.tex	Wed Jun 29 16:13:24 2011 -0700
+++ b/text/evmap.tex	Wed Jun 29 16:17:53 2011 -0700
@@ -98,6 +98,7 @@
 $\sbc_0(X) = \bc_0(X)$.
 (This is true for all of the examples presented in this paper.)
 Accordingly, we define $h_0 = 0$.
+\nn{Since we now have an axiom providing this, we should use it. (At present, the axiom is only for morphisms, not fields.)}
 
 Next we define $h_1$.
 Let $b\in C_1$ be a 1-blob diagram.