author | Kevin Walker <kevin@canyon23.net> |
Fri, 17 Jun 2011 12:01:43 -0600 | |
changeset 797 | 40729de8e067 |
parent 796 | d30537de52c7 |
child 798 | bc8de6442481 |
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 |
|
768 | 4 |
|
5 |
* Consider moving A_\infty stuff to a subsection |
|
6 |
||
790
ec8587c33c0b
more details in C.1; reorganized to-do list
Kevin Walker <kevin@canyon23.net>
parents:
787
diff
changeset
|
7 |
* Peter's suggestion for A_inf definition |
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 |
* 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
|
10 |
|
ec8587c33c0b
more details in C.1; reorganized to-do list
Kevin Walker <kevin@canyon23.net>
parents:
787
diff
changeset
|
11 |
* ** 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
|
12 |
|
ec8587c33c0b
more details in C.1; reorganized to-do list
Kevin Walker <kevin@canyon23.net>
parents:
787
diff
changeset
|
13 |
|
ec8587c33c0b
more details in C.1; reorganized to-do list
Kevin Walker <kevin@canyon23.net>
parents:
787
diff
changeset
|
14 |
* 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
|
15 |
|
776 | 16 |
* framings and duality -- work out what's going on! (alternatively, vague-ify current statement) |
768 | 17 |
|
790
ec8587c33c0b
more details in C.1; reorganized to-do list
Kevin Walker <kevin@canyon23.net>
parents:
787
diff
changeset
|
18 |
* 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
|
19 |
|
794
24f14faacab4
finished topological case of Appendix B
Kevin Walker <kevin@canyon23.net>
parents:
792
diff
changeset
|
20 |
* 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
|
21 |
|
790
ec8587c33c0b
more details in C.1; reorganized to-do list
Kevin Walker <kevin@canyon23.net>
parents:
787
diff
changeset
|
22 |
* review colors in figures |
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 |
* 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
|
25 |
|
ec8587c33c0b
more details in C.1; reorganized to-do list
Kevin Walker <kevin@canyon23.net>
parents:
787
diff
changeset
|
26 |
|
ec8587c33c0b
more details in C.1; reorganized to-do list
Kevin Walker <kevin@canyon23.net>
parents:
787
diff
changeset
|
27 |
* ? define Morita equivalence? |
ec8587c33c0b
more details in C.1; reorganized to-do list
Kevin Walker <kevin@canyon23.net>
parents:
787
diff
changeset
|
28 |
|
768 | 29 |
* consider proving the gluing formula for higher codimension manifolds with |
30 |
morita equivalence |
|
31 |
||
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
|
32 |
* 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
|
33 |
|
797
40729de8e067
finish fam-o-homeo axiom revisions and discussion
Kevin Walker <kevin@canyon23.net>
parents:
796
diff
changeset
|
34 |
* should we require, for A-inf n-cats, that families which preserve product morphisms act trivially? |
40729de8e067
finish fam-o-homeo axiom revisions and discussion
Kevin Walker <kevin@canyon23.net>
parents:
796
diff
changeset
|
35 |
|
768 | 36 |
|
37 |
||
38 |
* SCOTT will go through appendix C.2 and make it better |
|
39 |
||
40 |
* SCOTT: typo in delfig3a -- upper g should be g^{-1} |
|
41 |
||
783 | 42 |
* 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 | 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: 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
|
45 |
|
781
0a9adf027f47
rewriting colimit def; there's still a little more to do
Kevin Walker <kevin@canyon23.net>
parents:
780
diff
changeset
|
46 |
* 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
|
47 |
|
c0cdde54913a
start to rearrange n-cat defs
Kevin Walker <kevin@canyon23.net>
parents:
786
diff
changeset
|
48 |
* SCOTT: review/proof-read recent KW changes |