15 * maybe say something in colimit section about restriction to submanifolds and submanifolds of boundary (we use this in n-cat axioms)

    15 * maybe say something in colimit section about restriction to submanifolds and submanifolds of boundary (we use this in n-cat axioms)

    16 

    16 

    17 

    17 

    18 

    18 

    19 ====== minor/optional ======

    19 ====== minor/optional ======

    22 

    20 

    23 * consider proving the gluing formula for higher codimension manifolds with

    21 * consider proving the gluing formula for higher codimension manifolds with

    24 morita equivalence

    22 morita equivalence

    25 

    23 

    26 * 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.

    24 * 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.