blob: blob to-do@bc8de6442481 (annotated)

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 d8151afc725e adding to-do list Kevin Walker <kevin@canyon23.net> parents: diff changeset	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 c24e59300fca updated to-do list Kevin Walker <kevin@canyon23.net> parents: 774 diff changeset	14	* 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	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 d8151afc725e adding to-do list Kevin Walker <kevin@canyon23.net> parents: diff changeset	27	* consider proving the gluing formula for higher codimension manifolds with
d8151afc725e adding to-do list Kevin Walker <kevin@canyon23.net> parents: diff changeset	28	morita equivalence
d8151afc725e adding to-do list Kevin Walker <kevin@canyon23.net> parents: diff changeset	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 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
d8151afc725e adding to-do list Kevin Walker <kevin@canyon23.net> parents: diff changeset	36	* SCOTT will go through appendix C.2 and make it better
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	* SCOTT: typo in delfig3a -- upper g should be g^{-1}
d8151afc725e adding to-do list Kevin Walker <kevin@canyon23.net> parents: diff changeset	39
783 d450abe6decb minor Kevin Walker <kevin@canyon23.net> parents: 782 diff changeset	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 d8151afc725e adding to-do list Kevin Walker <kevin@canyon23.net> parents: diff changeset	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

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--