make claims about framed balls and non-pivotal n-cats weaker
authorKevin Walker <kevin@canyon23.net>
Sun, 23 Oct 2011 16:04:10 -0600
changeset 919 259bef1b5dad
parent 918 80fe92f8f81f
child 920 99e577999b53
make claims about framed balls and non-pivotal n-cats weaker
blob to-do
text/ncat.tex
--- a/blob to-do	Sun Oct 23 15:03:53 2011 -0600
+++ b/blob to-do	Sun Oct 23 16:04:10 2011 -0600
@@ -1,15 +1,12 @@
 
 ====== big ======
 
-* framings and duality -- work out what's going on! (alternatively, vague-ify current statement)
-
-
 ====== minor/optional ======
 
-* consider proving the gluing formula for higher codimension manifolds with
+[probably NO] * consider proving the gluing formula for higher codimension manifolds with
 morita equivalence
 
-* leftover: we used to require that composition of A-infinity n-morphisms was injective (just like lower morphisms).  Should we stick this back in?  I don't think we use it anywhere.
+[probably NO] * leftover: we used to require that composition of A-infinity n-morphisms was injective (just like lower morphisms).  Should we stick this back in?  I don't think we use it anywhere.
 
 * should we require, for A-inf n-cats, that families which preserve product morphisms act trivially?  as now defined, this is only true up to homotopy for the blob complex, so maybe best not to open that can of worms
 (but since the strict version of this is true for BT_*, maybe we're OK)
@@ -17,10 +14,14 @@
 * review colors in figures
 
 * better discussion of systems of fields from disk-like n-cats
-    (Is this done by now?)
+*** Is this done by now?
  
-* make sure we are clear that boundary = germ (perhaps we are already clear enough)
+* make sure we are clear that boundary = germ
+*** perhaps we are already clear enough
    
+* framings and duality -- work out what's going on! (alternatively, vague-ify current statement)
+*** is the new version sufficiently vague?
+
 
 ====== Scott ======
 
--- a/text/ncat.tex	Sun Oct 23 15:03:53 2011 -0600
+++ b/text/ncat.tex	Sun Oct 23 16:04:10 2011 -0600
@@ -100,10 +100,10 @@
 The first is balls equipped with a map to some other space $Y$ (c.f. \cite{MR2079378}). 
 This will be used below (see the end of \S \ref{ss:product-formula}) to describe the blob complex of a fiber bundle with
 base space $Y$.
-The second is balls equipped with a section of the tangent bundle, or the frame
+The second is balls equipped (partially defined) sections of the tangent bundle, or the frame
 bundle (i.e.\ framed balls), or more generally some partial flag bundle associated to the tangent bundle.
 These can be used to define categories with less than the ``strong" duality we assume here,
-though we will not develop that idea fully in this paper.
+though we will not develop that idea in this paper.
 
 Next we consider domains and ranges of morphisms (or, as we prefer to say, boundaries
 of morphisms).