blob to-do
author Kevin Walker <kevin@canyon23.net>
Fri, 13 May 2011 21:01:03 -0700
changeset 782 d8ae97449506
parent 779 d75b7bfc44f2
parent 781 0a9adf027f47
child 783 d450abe6decb
permissions -rw-r--r--
merging by hand (?)
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
768
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
     1
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
     2
* We need to be clearer about which types of homeomorphisms the
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
     3
"localization" theorem in the appendix works for, in the body of the
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
     4
paper. Options here include:
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
     5
a) having a better theorem in a separate paper, so we don't actually
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
     6
need to worry 
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
     7
[** currently working on this option]
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
     8
b) changing the statements in the paper, for example writing PL-Homeo
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
     9
everywhere instead of Homeo
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    10
c) explicitly saying "Homeo means PL-Homeo" everywhere
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    11
c') if we succumb to Peter's suggestion of say "Iso" everywhere,
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    12
perhaps we could adopt the notation that "Iso^*" or similar means one
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    13
of a restricted set of categories, where the appendix works, and using
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    14
this notation in section 5.
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    15
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    16
* Consider moving A_\infty stuff to a subsection
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    17
776
c24e59300fca updated to-do list
Kevin Walker <kevin@canyon23.net>
parents: 774
diff changeset
    18
* framings and duality -- work out what's going on! (alternatively, vague-ify current statement)
768
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    19
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    20
* consider proving the gluing formula for higher codimension manifolds with
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    21
morita equivalence
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    22
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    23
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    24
* Peter's suggestion for A_inf definition
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    25
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    26
* enriching in other \infty categories, explaining how "D" should
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    27
interact with coproducts in "S" (break out A_\infty stuff into a
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    28
subsection)
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    29
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    30
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    31
* SCOTT will go through appendix C.2 and make it better
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    32
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    33
* In the appendix on n=1, explain more about orientations. Also say
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    34
what happens on objects for spin manifolds: the unique point has an
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    35
automorphism, which translates into a involution on objects. Mention
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    36
super-stuff.
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    37
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    38
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    39
colimit subsection: 
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    40
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    41
* Labeling of the k-1 skeleton agreeing on the k-2 skeleton is awfully vague. 
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    42
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    43
* Boundary of \cl; not so easy to see!
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    44
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    45
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    46
modules:
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    47
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    48
* Lemma 6.4.5 needs to actually construct this map! Needs more input! Do
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    49
we actually need this as written?
776
c24e59300fca updated to-do list
Kevin Walker <kevin@canyon23.net>
parents: 774
diff changeset
    50
	- KW will look at it; probably needs to be weakened
768
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    51
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    52
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    53
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    54
* SCOTT: typo in delfig3a -- upper g should be g^{-1}
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    55
779
Kevin Walker <kevin@canyon23.net>
parents: 778
diff changeset
    56
* 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 that the speakers rate a mention?)
768
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    57
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
    58
775b5ca42bed make sure poset of decomps is a small category; added to to-do list
Kevin Walker <kevin@canyon23.net>
parents: 772
diff changeset
    59
* 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
    60
775b5ca42bed make sure poset of decomps is a small category; added to to-do list
Kevin Walker <kevin@canyon23.net>
parents: 772
diff changeset
    61
* ? 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
    62
774
b88c4c4af945 move figs to top of page
Kevin Walker <kevin@canyon23.net>
parents: 773
diff changeset
    63
* make sure we are clear that boundary = germ
b88c4c4af945 move figs to top of page
Kevin Walker <kevin@canyon23.net>
parents: 773
diff changeset
    64
776
c24e59300fca updated to-do list
Kevin Walker <kevin@canyon23.net>
parents: 774
diff changeset
    65
* lemma [inject  6.3.5?] assumes more splittablity than the axioms imply (?)
c24e59300fca updated to-do list
Kevin Walker <kevin@canyon23.net>
parents: 774
diff changeset
    66
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
    67
* 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
    68
781
0a9adf027f47 rewriting colimit def; there's still a little more to do
Kevin Walker <kevin@canyon23.net>
parents: 780
diff changeset
    69
* 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
    70
781
0a9adf027f47 rewriting colimit def; there's still a little more to do
Kevin Walker <kevin@canyon23.net>
parents: 780
diff changeset
    71
* SCOTT: add vertical arrow to middle of figure 19 (decomp poset)