equal
deleted
inserted
replaced
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 ====== |
20 |
|
21 * ? define Morita equivalence? |
|
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. |