equal
deleted
inserted
replaced
28 morita equivalence |
28 morita equivalence |
29 |
29 |
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. |
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. |
31 |
31 |
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 |
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 |
|
33 (but since the strict version of this is true for BT_*, maybe we're OK) |
|
34 |
|
35 * probably should go through and refer to new splitting axiom when we need to choose refinements etc. |
33 |
36 |
34 |
37 |
35 |
38 |
36 * SCOTT will go through appendix C.2 and make it better |
39 * SCOTT will go through appendix C.2 and make it better |
37 |
40 |