blob to-do
author Kevin Walker <kevin@canyon23.net>
Sun, 19 Jun 2011 17:31:34 -0600
changeset 802 e3ddb8605e32
parent 801 33b3e0c065d2
child 803 a96ffd48ea3d
permissions -rw-r--r--
adding transversality requirement to product morphism axiom
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
790
ec8587c33c0b more details in C.1; reorganized to-do list
Kevin Walker <kevin@canyon23.net>
parents: 787
diff changeset
     1
801
33b3e0c065d2 adding placeholder figure
Kevin Walker <kevin@canyon23.net>
parents: 800
diff changeset
     2
* need to change module axioms to follow changes in n-cat axioms; search for and destroy all the "Homeo_\bd"'s, add a v-cone axiom
768
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
     3
790
ec8587c33c0b more details in C.1; reorganized to-do list
Kevin Walker <kevin@canyon23.net>
parents: 787
diff changeset
     4
ec8587c33c0b more details in C.1; reorganized to-do list
Kevin Walker <kevin@canyon23.net>
parents: 787
diff changeset
     5
* 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
     6
ec8587c33c0b more details in C.1; reorganized to-do list
Kevin Walker <kevin@canyon23.net>
parents: 787
diff changeset
     7
* ** 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
     8
ec8587c33c0b more details in C.1; reorganized to-do list
Kevin Walker <kevin@canyon23.net>
parents: 787
diff changeset
     9
776
c24e59300fca updated to-do list
Kevin Walker <kevin@canyon23.net>
parents: 774
diff changeset
    10
* 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
    11
790
ec8587c33c0b more details in C.1; reorganized to-do list
Kevin Walker <kevin@canyon23.net>
parents: 787
diff changeset
    12
* 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
    13
794
24f14faacab4 finished topological case of Appendix B
Kevin Walker <kevin@canyon23.net>
parents: 792
diff changeset
    14
* 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
    15
790
ec8587c33c0b more details in C.1; reorganized to-do list
Kevin Walker <kevin@canyon23.net>
parents: 787
diff changeset
    16
* review colors in figures
ec8587c33c0b more details in C.1; reorganized to-do list
Kevin Walker <kevin@canyon23.net>
parents: 787
diff changeset
    17
ec8587c33c0b more details in C.1; reorganized to-do list
Kevin Walker <kevin@canyon23.net>
parents: 787
diff changeset
    18
* 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
    19
ec8587c33c0b more details in C.1; reorganized to-do list
Kevin Walker <kevin@canyon23.net>
parents: 787
diff changeset
    20
ec8587c33c0b more details in C.1; reorganized to-do list
Kevin Walker <kevin@canyon23.net>
parents: 787
diff changeset
    21
* ? define Morita equivalence?
ec8587c33c0b more details in C.1; reorganized to-do list
Kevin Walker <kevin@canyon23.net>
parents: 787
diff changeset
    22
768
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    23
* consider proving the gluing formula for higher codimension manifolds with
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    24
morita equivalence
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    25
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
    26
* 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
    27
798
bc8de6442481 misc; added some specifics of acknowledgements
Kevin Walker <kevin@canyon23.net>
parents: 797
diff changeset
    28
* 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
    29
(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
    30
d0b9238aad5d new n-cat axiom for splittings
Kevin Walker <kevin@canyon23.net>
parents: 798
diff changeset
    31
* probably should go through and refer to new splitting axiom when we need to choose refinements etc.
797
40729de8e067 finish fam-o-homeo axiom revisions and discussion
Kevin Walker <kevin@canyon23.net>
parents: 796
diff changeset
    32
768
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    33
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    34
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    35
* SCOTT will go through appendix C.2 and make it better
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    36
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    37
* SCOTT: typo in delfig3a -- upper g should be g^{-1}
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    38
783
Kevin Walker <kevin@canyon23.net>
parents: 782
diff changeset
    39
* 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
d8151afc725e adding to-do list
Kevin Walker <kevin@canyon23.net>
parents:
diff changeset
    40
781
0a9adf027f47 rewriting colimit def; there's still a little more to do
Kevin Walker <kevin@canyon23.net>
parents: 780
diff changeset
    41
* 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
    42
781
0a9adf027f47 rewriting colimit def; there's still a little more to do
Kevin Walker <kevin@canyon23.net>
parents: 780
diff changeset
    43
* 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
    44
c0cdde54913a start to rearrange n-cat defs
Kevin Walker <kevin@canyon23.net>
parents: 786
diff changeset
    45
* SCOTT: review/proof-read recent KW changes