author | Kevin Walker <kevin@canyon23.net> |
Fri, 17 Jun 2011 12:12:53 -0600 | |
changeset 798 | bc8de6442481 |
parent 797 | 40729de8e067 |
child 800 | d0b9238aad5d |
permissions | -rw-r--r-- |
790
ec8587c33c0b
more details in C.1; reorganized to-do list
Kevin Walker <kevin@canyon23.net>
parents:
787
diff
changeset
|
1 |
|
ec8587c33c0b
more details in C.1; reorganized to-do list
Kevin Walker <kevin@canyon23.net>
parents:
787
diff
changeset
|
2 |
* lemma [inject 6.3.5?] assumes more splittablity than the axioms imply (?) |
ec8587c33c0b
more details in C.1; reorganized to-do list
Kevin Walker <kevin@canyon23.net>
parents:
787
diff
changeset
|
3 |
|
798
bc8de6442481
misc; added some specifics of acknowledgements
Kevin Walker <kevin@canyon23.net>
parents:
797
diff
changeset
|
4 |
* need to change module axioms to follow changes in n-cat axioms; search for and destroy all the "Homeo_\bd"'s |
768 | 5 |
|
790
ec8587c33c0b
more details in C.1; reorganized to-do list
Kevin Walker <kevin@canyon23.net>
parents:
787
diff
changeset
|
6 |
|
ec8587c33c0b
more details in C.1; reorganized to-do list
Kevin Walker <kevin@canyon23.net>
parents:
787
diff
changeset
|
7 |
* Boundary of colimit -- not so easy to see! |
ec8587c33c0b
more details in C.1; reorganized to-do list
Kevin Walker <kevin@canyon23.net>
parents:
787
diff
changeset
|
8 |
|
ec8587c33c0b
more details in C.1; reorganized to-do list
Kevin Walker <kevin@canyon23.net>
parents:
787
diff
changeset
|
9 |
* ** new material in colimit section needs a proof-read |
ec8587c33c0b
more details in C.1; reorganized to-do list
Kevin Walker <kevin@canyon23.net>
parents:
787
diff
changeset
|
10 |
|
ec8587c33c0b
more details in C.1; reorganized to-do list
Kevin Walker <kevin@canyon23.net>
parents:
787
diff
changeset
|
11 |
|
ec8587c33c0b
more details in C.1; reorganized to-do list
Kevin Walker <kevin@canyon23.net>
parents:
787
diff
changeset
|
12 |
* should probably allow product things \pi^*(b) to be defined only when b is appropriately splittable |
ec8587c33c0b
more details in C.1; reorganized to-do list
Kevin Walker <kevin@canyon23.net>
parents:
787
diff
changeset
|
13 |
|
776 | 14 |
* framings and duality -- work out what's going on! (alternatively, vague-ify current statement) |
768 | 15 |
|
790
ec8587c33c0b
more details in C.1; reorganized to-do list
Kevin Walker <kevin@canyon23.net>
parents:
787
diff
changeset
|
16 |
* make sure we are clear that boundary = germ |
ec8587c33c0b
more details in C.1; reorganized to-do list
Kevin Walker <kevin@canyon23.net>
parents:
787
diff
changeset
|
17 |
|
794
24f14faacab4
finished topological case of Appendix B
Kevin Walker <kevin@canyon23.net>
parents:
792
diff
changeset
|
18 |
* go through text and remove any disclaimers about continuous (as oppsed to PL) homeos |
24f14faacab4
finished topological case of Appendix B
Kevin Walker <kevin@canyon23.net>
parents:
792
diff
changeset
|
19 |
|
790
ec8587c33c0b
more details in C.1; reorganized to-do list
Kevin Walker <kevin@canyon23.net>
parents:
787
diff
changeset
|
20 |
* review colors in figures |
ec8587c33c0b
more details in C.1; reorganized to-do list
Kevin Walker <kevin@canyon23.net>
parents:
787
diff
changeset
|
21 |
|
ec8587c33c0b
more details in C.1; reorganized to-do list
Kevin Walker <kevin@canyon23.net>
parents:
787
diff
changeset
|
22 |
* maybe say something in colimit section about restriction to submanifolds and submanifolds of boundary (we use this in n-cat axioms) |
ec8587c33c0b
more details in C.1; reorganized to-do list
Kevin Walker <kevin@canyon23.net>
parents:
787
diff
changeset
|
23 |
|
ec8587c33c0b
more details in C.1; reorganized to-do list
Kevin Walker <kevin@canyon23.net>
parents:
787
diff
changeset
|
24 |
|
ec8587c33c0b
more details in C.1; reorganized to-do list
Kevin Walker <kevin@canyon23.net>
parents:
787
diff
changeset
|
25 |
* ? define Morita equivalence? |
ec8587c33c0b
more details in C.1; reorganized to-do list
Kevin Walker <kevin@canyon23.net>
parents:
787
diff
changeset
|
26 |
|
768 | 27 |
* consider proving the gluing formula for higher codimension manifolds with |
28 |
morita equivalence |
|
29 |
||
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
|
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. |
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
|
31 |
|
798
bc8de6442481
misc; added some specifics of acknowledgements
Kevin Walker <kevin@canyon23.net>
parents:
797
diff
changeset
|
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 |
797
40729de8e067
finish fam-o-homeo axiom revisions and discussion
Kevin Walker <kevin@canyon23.net>
parents:
796
diff
changeset
|
33 |
|
768 | 34 |
|
35 |
||
36 |
* SCOTT will go through appendix C.2 and make it better |
|
37 |
||
38 |
* SCOTT: typo in delfig3a -- upper g should be g^{-1} |
|
39 |
||
783 | 40 |
* 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 | 41 |
|
781
0a9adf027f47
rewriting colimit def; there's still a little more to do
Kevin Walker <kevin@canyon23.net>
parents:
780
diff
changeset
|
42 |
* 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
|
43 |
|
781
0a9adf027f47
rewriting colimit def; there's still a little more to do
Kevin Walker <kevin@canyon23.net>
parents:
780
diff
changeset
|
44 |
* 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
|
45 |
|
c0cdde54913a
start to rearrange n-cat defs
Kevin Walker <kevin@canyon23.net>
parents:
786
diff
changeset
|
46 |
* SCOTT: review/proof-read recent KW changes |