equal
deleted
inserted
replaced
1 |
1 |
2 * lemma [inject 6.3.5?] assumes more splittablity than the axioms imply (?) |
2 * lemma [inject 6.3.5?] assumes more splittablity than the axioms imply (?) |
3 |
3 |
|
4 * need to change module axioms to follow changes in n-cat axioms; search for and destroy all the "Homeo_\bd"'s |
4 |
5 |
5 * Consider moving A_\infty stuff to a subsection |
|
6 |
|
7 * Peter's suggestion for A_inf definition |
|
8 |
6 |
9 * Boundary of colimit -- not so easy to see! |
7 * Boundary of colimit -- not so easy to see! |
10 |
8 |
11 * ** new material in colimit section needs a proof-read |
9 * ** new material in colimit section needs a proof-read |
12 |
10 |
29 * consider proving the gluing formula for higher codimension manifolds with |
27 * consider proving the gluing formula for higher codimension manifolds with |
30 morita equivalence |
28 morita equivalence |
31 |
29 |
32 * 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. |
30 * 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. |
33 |
31 |
34 * should we require, for A-inf n-cats, that families which preserve product morphisms act trivially? |
32 * 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 |
35 |
33 |
36 |
34 |
37 |
35 |
38 * SCOTT will go through appendix C.2 and make it better |
36 * SCOTT will go through appendix C.2 and make it better |
39 |
37 |