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 |
4 |
5 * Consider moving A_\infty stuff to a subsection |
5 * Consider moving A_\infty stuff to a subsection |
6 |
|
7 * consider putting conditions for enriched n-cat all in one place |
|
8 |
6 |
9 * Peter's suggestion for A_inf definition |
7 * Peter's suggestion for A_inf definition |
10 |
8 |
11 * Boundary of colimit -- not so easy to see! |
9 * Boundary of colimit -- not so easy to see! |
12 |
10 |
31 * consider proving the gluing formula for higher codimension manifolds with |
29 * consider proving the gluing formula for higher codimension manifolds with |
32 morita equivalence |
30 morita equivalence |
33 |
31 |
34 * 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. |
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. |
35 |
33 |
|
34 * should we require, for A-inf n-cats, that families which preserve product morphisms act trivially? |
|
35 |
36 |
36 |
37 |
37 |
38 * SCOTT will go through appendix C.2 and make it better |
38 * SCOTT will go through appendix C.2 and make it better |
39 |
39 |
40 * SCOTT: typo in delfig3a -- upper g should be g^{-1} |
40 * SCOTT: typo in delfig3a -- upper g should be g^{-1} |