author | Scott Morrison <scott@tqft.net> |
Mon, 12 Dec 2011 23:54:17 -0800 | |
changeset 967 | 6e4f0ed47e0e |
parent 962 | 87bfea2e3150 |
permissions | -rw-r--r-- |
803
a96ffd48ea3d
wrote a little (but not enough) about Morita equivalence; out of time, will finish later
Kevin Walker <kevin@canyon23.net>
parents:
802
diff
changeset
|
1 |
|
a96ffd48ea3d
wrote a little (but not enough) about Morita equivalence; out of time, will finish later
Kevin Walker <kevin@canyon23.net>
parents:
802
diff
changeset
|
2 |
====== big ====== |
790
ec8587c33c0b
more details in C.1; reorganized to-do list
Kevin Walker <kevin@canyon23.net>
parents:
787
diff
changeset
|
3 |
|
962
87bfea2e3150
added a homeo/pl/smooth etc note early in the intro
Kevin Walker <kevin@canyon23.net>
parents:
961
diff
changeset
|
4 |
[nothing!] |
939 | 5 |
|
938
082bfb8f6325
minor edits in section 3.1
Kevin Walker <kevin@canyon23.net>
parents:
931
diff
changeset
|
6 |
|
803
a96ffd48ea3d
wrote a little (but not enough) about Morita equivalence; out of time, will finish later
Kevin Walker <kevin@canyon23.net>
parents:
802
diff
changeset
|
7 |
====== minor/optional ====== |
a96ffd48ea3d
wrote a little (but not enough) about Morita equivalence; out of time, will finish later
Kevin Walker <kevin@canyon23.net>
parents:
802
diff
changeset
|
8 |
|
962
87bfea2e3150
added a homeo/pl/smooth etc note early in the intro
Kevin Walker <kevin@canyon23.net>
parents:
961
diff
changeset
|
9 |
* Maybe give more details in 6.7.2. Or maybe do this in some future paper. |
87bfea2e3150
added a homeo/pl/smooth etc note early in the intro
Kevin Walker <kevin@canyon23.net>
parents:
961
diff
changeset
|
10 |
|
919
259bef1b5dad
make claims about framed balls and non-pivotal n-cats weaker
Kevin Walker <kevin@canyon23.net>
parents:
918
diff
changeset
|
11 |
[probably NO] * consider proving the gluing formula for higher codimension manifolds with |
768 | 12 |
morita equivalence |
13 |
||
919
259bef1b5dad
make claims about framed balls and non-pivotal n-cats weaker
Kevin Walker <kevin@canyon23.net>
parents:
918
diff
changeset
|
14 |
[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. |
796
d30537de52c7
in the midst of revising a-inf and enriched n-cat axioms; not done yet
Kevin Walker <kevin@canyon23.net>
parents:
794
diff
changeset
|
15 |
|
798
bc8de6442481
misc; added some specifics of acknowledgements
Kevin Walker <kevin@canyon23.net>
parents:
797
diff
changeset
|
16 |
* 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 |
800
d0b9238aad5d
new n-cat axiom for splittings
Kevin Walker <kevin@canyon23.net>
parents:
798
diff
changeset
|
17 |
(but since the strict version of this is true for BT_*, maybe we're OK) |
d0b9238aad5d
new n-cat axiom for splittings
Kevin Walker <kevin@canyon23.net>
parents:
798
diff
changeset
|
18 |
|
927 | 19 |
* figures |
931
3311fa1c93b9
tweaked some colors; removed hand-drawn originals
Kevin Walker <kevin@canyon23.net>
parents:
928
diff
changeset
|
20 |
(** 13 "combining two balls" is lame) (but maybe leave it as is -- KW) |
797
40729de8e067
finish fam-o-homeo axiom revisions and discussion
Kevin Walker <kevin@canyon23.net>
parents:
796
diff
changeset
|
21 |
|
931
3311fa1c93b9
tweaked some colors; removed hand-drawn originals
Kevin Walker <kevin@canyon23.net>
parents:
928
diff
changeset
|
22 |
|
909 | 23 |
* better discussion of systems of fields from disk-like n-cats |
919
259bef1b5dad
make claims about framed balls and non-pivotal n-cats weaker
Kevin Walker <kevin@canyon23.net>
parents:
918
diff
changeset
|
24 |
*** Is this done by now? |
909 | 25 |
|
919
259bef1b5dad
make claims about framed balls and non-pivotal n-cats weaker
Kevin Walker <kevin@canyon23.net>
parents:
918
diff
changeset
|
26 |
* make sure we are clear that boundary = germ |
259bef1b5dad
make claims about framed balls and non-pivotal n-cats weaker
Kevin Walker <kevin@canyon23.net>
parents:
918
diff
changeset
|
27 |
*** perhaps we are already clear enough |
909 | 28 |
|
919
259bef1b5dad
make claims about framed balls and non-pivotal n-cats weaker
Kevin Walker <kevin@canyon23.net>
parents:
918
diff
changeset
|
29 |
* framings and duality -- work out what's going on! (alternatively, vague-ify current statement) |
259bef1b5dad
make claims about framed balls and non-pivotal n-cats weaker
Kevin Walker <kevin@canyon23.net>
parents:
918
diff
changeset
|
30 |
*** is the new version sufficiently vague? |
259bef1b5dad
make claims about framed balls and non-pivotal n-cats weaker
Kevin Walker <kevin@canyon23.net>
parents:
918
diff
changeset
|
31 |
|
768 | 32 |
|
803
a96ffd48ea3d
wrote a little (but not enough) about Morita equivalence; out of time, will finish later
Kevin Walker <kevin@canyon23.net>
parents:
802
diff
changeset
|
33 |
====== Scott ====== |
768 | 34 |
|
803
a96ffd48ea3d
wrote a little (but not enough) about Morita equivalence; out of time, will finish later
Kevin Walker <kevin@canyon23.net>
parents:
802
diff
changeset
|
35 |
* SCOTT: review/proof-read recent KW changes, especially colimit section and n-cat axioms |
914
db365e67adf6
finished with plitting axiom stuff (except that now the module definition needs to be updated)
Kevin Walker <kevin@canyon23.net>
parents:
913
diff
changeset
|
36 |
|
db365e67adf6
finished with plitting axiom stuff (except that now the module definition needs to be updated)
Kevin Walker <kevin@canyon23.net>
parents:
913
diff
changeset
|
37 |
|
db365e67adf6
finished with plitting axiom stuff (except that now the module definition needs to be updated)
Kevin Walker <kevin@canyon23.net>
parents:
913
diff
changeset
|
38 |
|
db365e67adf6
finished with plitting axiom stuff (except that now the module definition needs to be updated)
Kevin Walker <kevin@canyon23.net>
parents:
913
diff
changeset
|
39 |
|
db365e67adf6
finished with plitting axiom stuff (except that now the module definition needs to be updated)
Kevin Walker <kevin@canyon23.net>
parents:
913
diff
changeset
|
40 |
|
db365e67adf6
finished with plitting axiom stuff (except that now the module definition needs to be updated)
Kevin Walker <kevin@canyon23.net>
parents:
913
diff
changeset
|
41 |
|
db365e67adf6
finished with plitting axiom stuff (except that now the module definition needs to be updated)
Kevin Walker <kevin@canyon23.net>
parents:
913
diff
changeset
|
42 |
(for reference: |
db365e67adf6
finished with plitting axiom stuff (except that now the module definition needs to be updated)
Kevin Walker <kevin@canyon23.net>
parents:
913
diff
changeset
|
43 |
* places splitting axiom is used: |
db365e67adf6
finished with plitting axiom stuff (except that now the module definition needs to be updated)
Kevin Walker <kevin@canyon23.net>
parents:
913
diff
changeset
|
44 |
** in the proof that gluing in dimension < n is injective |
db365e67adf6
finished with plitting axiom stuff (except that now the module definition needs to be updated)
Kevin Walker <kevin@canyon23.net>
parents:
913
diff
changeset
|
45 |
** in the proof that D(a) is acyclic |
db365e67adf6
finished with plitting axiom stuff (except that now the module definition needs to be updated)
Kevin Walker <kevin@canyon23.net>
parents:
913
diff
changeset
|
46 |
** in the small blobs lemma |
db365e67adf6
finished with plitting axiom stuff (except that now the module definition needs to be updated)
Kevin Walker <kevin@canyon23.net>
parents:
913
diff
changeset
|
47 |
) |
db365e67adf6
finished with plitting axiom stuff (except that now the module definition needs to be updated)
Kevin Walker <kevin@canyon23.net>
parents:
913
diff
changeset
|
48 |