1 

     2 ====== big ======

     3 

     4 [nothing!]

     5 

     6 

     7 ====== minor/optional ======

     8 

     9 * Maybe give more details in 6.7.2.  Or maybe do this in some future paper.

    10 

    11 [probably NO] * consider proving the gluing formula for higher codimension manifolds with

    12 morita equivalence

    13 

    14 [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.

    15 

    16 * 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

    17 (but since the strict version of this is true for BT_*, maybe we're OK)

    18 

    19 * figures

    20 (** 13 "combining two balls" is lame) (but maybe leave it as is -- KW)

    21 

    22 

    23 * better discussion of systems of fields from disk-like n-cats

    24 *** Is this done by now?

    25  

    26 * make sure we are clear that boundary = germ

    27 *** perhaps we are already clear enough

    28    

    29 * framings and duality -- work out what's going on! (alternatively, vague-ify current statement)

    30 *** is the new version sufficiently vague?

    31 

    32 

    33 ====== Scott ======

    34 

    35 * SCOTT: review/proof-read recent KW changes, especially colimit section and n-cat axioms

    36 

    37 

    38 

    39 

    40 

    41 

    42 (for reference:

    43 	* places splitting axiom is used:

    44 	** in the proof that gluing in dimension < n is injective

    45 	** in the proof that D(a) is acyclic

    46 	** in the small blobs lemma

    47 )

    48