9 [probably NO] * 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. |
9 [probably NO] * 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. |
10 |
10 |
11 * 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 |
11 * 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 |
12 (but since the strict version of this is true for BT_*, maybe we're OK) |
12 (but since the strict version of this is true for BT_*, maybe we're OK) |
13 |
13 |
14 * review colors in figures |
14 * figures |
|
15 ** 13 "combining two balls" is lame |
|
16 ** colors in pinched products --K |
|
17 ** markings should be red 23/24/25/26/27 --S |
|
18 ** markings should be uniform thickness 24/25 --S |
|
19 ** pinched products need vertical lines 26/27 --S |
|
20 ** k-marked balls are currently an ugly blue 29/30/31/32/33 --K |
|
21 ** 38/39/40, pictures for Morita equivalence are handwritten |
|
22 ** figures for email thread with Mike Schulman?? |
15 |
23 |
16 * better discussion of systems of fields from disk-like n-cats |
24 * better discussion of systems of fields from disk-like n-cats |
17 *** Is this done by now? |
25 *** Is this done by now? |
18 |
26 |
19 * make sure we are clear that boundary = germ |
27 * make sure we are clear that boundary = germ |