author | Kevin Walker <kevin@canyon23.net> |
Fri, 27 May 2011 13:43:20 -0600 | |
changeset 787 | c0cdde54913a |
parent 786 | 91d32d0cb2ef |
child 790 | ec8587c33c0b |
permissions | -rw-r--r-- |
768 | 1 |
|
2 |
* We need to be clearer about which types of homeomorphisms the |
|
3 |
"localization" theorem in the appendix works for, in the body of the |
|
4 |
paper. Options here include: |
|
5 |
a) having a better theorem in a separate paper, so we don't actually |
|
6 |
need to worry |
|
7 |
[** currently working on this option] |
|
8 |
b) changing the statements in the paper, for example writing PL-Homeo |
|
9 |
everywhere instead of Homeo |
|
10 |
c) explicitly saying "Homeo means PL-Homeo" everywhere |
|
11 |
c') if we succumb to Peter's suggestion of say "Iso" everywhere, |
|
12 |
perhaps we could adopt the notation that "Iso^*" or similar means one |
|
13 |
of a restricted set of categories, where the appendix works, and using |
|
14 |
this notation in section 5. |
|
15 |
||
16 |
* Consider moving A_\infty stuff to a subsection |
|
17 |
||
776 | 18 |
* framings and duality -- work out what's going on! (alternatively, vague-ify current statement) |
768 | 19 |
|
20 |
* consider proving the gluing formula for higher codimension manifolds with |
|
21 |
morita equivalence |
|
22 |
||
23 |
||
24 |
* Peter's suggestion for A_inf definition |
|
25 |
||
26 |
* enriching in other \infty categories, explaining how "D" should |
|
27 |
interact with coproducts in "S" (break out A_\infty stuff into a |
|
28 |
subsection) |
|
29 |
||
30 |
||
31 |
* SCOTT will go through appendix C.2 and make it better |
|
32 |
||
784
bd9538de8248
more on colimits; still not done
Kevin Walker <kevin@canyon23.net>
parents:
783
diff
changeset
|
33 |
* make sure we are clear that boundary = germ |
bd9538de8248
more on colimits; still not done
Kevin Walker <kevin@canyon23.net>
parents:
783
diff
changeset
|
34 |
|
768 | 35 |
* In the appendix on n=1, explain more about orientations. Also say |
36 |
what happens on objects for spin manifolds: the unique point has an |
|
37 |
automorphism, which translates into a involution on objects. Mention |
|
38 |
super-stuff. |
|
39 |
||
40 |
||
41 |
colimit subsection: |
|
42 |
||
783 | 43 |
* Boundary of \cl; not so easy to see! |
768 | 44 |
|
783 | 45 |
* new material in colimit section needs a proof-read |
768 | 46 |
|
47 |
||
48 |
modules: |
|
49 |
||
50 |
* SCOTT: typo in delfig3a -- upper g should be g^{-1} |
|
51 |
||
783 | 52 |
* SCOTT: make sure acknowledge list doesn't omit anyone from blob seminar who should be included (I think I have all the speakers; does anyone other than the speakers rate a mention?) |
768 | 53 |
|
773
775b5ca42bed
make sure poset of decomps is a small category; added to to-do list
Kevin Walker <kevin@canyon23.net>
parents:
772
diff
changeset
|
54 |
|
775b5ca42bed
make sure poset of decomps is a small category; added to to-do list
Kevin Walker <kevin@canyon23.net>
parents:
772
diff
changeset
|
55 |
* review colors in figures |
775b5ca42bed
make sure poset of decomps is a small category; added to to-do list
Kevin Walker <kevin@canyon23.net>
parents:
772
diff
changeset
|
56 |
|
775b5ca42bed
make sure poset of decomps is a small category; added to to-do list
Kevin Walker <kevin@canyon23.net>
parents:
772
diff
changeset
|
57 |
* ? define Morita equivalence? |
775b5ca42bed
make sure poset of decomps is a small category; added to to-do list
Kevin Walker <kevin@canyon23.net>
parents:
772
diff
changeset
|
58 |
|
776 | 59 |
* lemma [inject 6.3.5?] assumes more splittablity than the axioms imply (?) |
60 |
||
777
682fd0520c66
added a sentence about conditions of existence of path integrals (at PT's request); other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
776
diff
changeset
|
61 |
* consider putting conditions for enriched n-cat all in one place |
682fd0520c66
added a sentence about conditions of existence of path integrals (at PT's request); other minor stuff
Kevin Walker <kevin@canyon23.net>
parents:
776
diff
changeset
|
62 |
|
781
0a9adf027f47
rewriting colimit def; there's still a little more to do
Kevin Walker <kevin@canyon23.net>
parents:
780
diff
changeset
|
63 |
* SCOTT: figure for example 3.1.2 (sin 1/z) |
780
b76b4b79dbe1
starting to work on colimit stuff, but not much progress yet
Kevin Walker <kevin@canyon23.net>
parents:
776
diff
changeset
|
64 |
|
781
0a9adf027f47
rewriting colimit def; there's still a little more to do
Kevin Walker <kevin@canyon23.net>
parents:
780
diff
changeset
|
65 |
* SCOTT: add vertical arrow to middle of figure 19 (decomp poset) |
787
c0cdde54913a
start to rearrange n-cat defs
Kevin Walker <kevin@canyon23.net>
parents:
786
diff
changeset
|
66 |
|
c0cdde54913a
start to rearrange n-cat defs
Kevin Walker <kevin@canyon23.net>
parents:
786
diff
changeset
|
67 |
* maybe say something in colimit section about restriction to submanifolds and submanifolds of boundary |
c0cdde54913a
start to rearrange n-cat defs
Kevin Walker <kevin@canyon23.net>
parents:
786
diff
changeset
|
68 |
|
c0cdde54913a
start to rearrange n-cat defs
Kevin Walker <kevin@canyon23.net>
parents:
786
diff
changeset
|
69 |
* SCOTT: review/proof-read recent KW changes |
c0cdde54913a
start to rearrange n-cat defs
Kevin Walker <kevin@canyon23.net>
parents:
786
diff
changeset
|
70 |
|
c0cdde54913a
start to rearrange n-cat defs
Kevin Walker <kevin@canyon23.net>
parents:
786
diff
changeset
|
71 |
* should probably allow product things \pi^*(b) to be defined only when b is appropriately splittable |