blob: blob to-do@40729de8e067 (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
768 d8151afc725e adding to-do list Kevin Walker <kevin@canyon23.net> parents: diff changeset	4
d8151afc725e adding to-do list Kevin Walker <kevin@canyon23.net> parents: diff changeset	5	* Consider moving A_\infty stuff to a subsection
d8151afc725e adding to-do list Kevin Walker <kevin@canyon23.net> parents: diff changeset	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 c24e59300fca updated to-do list Kevin Walker <kevin@canyon23.net> parents: 774 diff changeset	16	* 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	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 d8151afc725e adding to-do list Kevin Walker <kevin@canyon23.net> parents: diff changeset	29	* consider proving the gluing formula for higher codimension manifolds with
d8151afc725e adding to-do list Kevin Walker <kevin@canyon23.net> parents: diff changeset	30	morita equivalence
d8151afc725e adding to-do list Kevin Walker <kevin@canyon23.net> parents: diff changeset	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 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
d8151afc725e adding to-do list Kevin Walker <kevin@canyon23.net> parents: diff changeset	38	* SCOTT will go through appendix C.2 and make it better
d8151afc725e adding to-do list Kevin Walker <kevin@canyon23.net> parents: diff changeset	39
d8151afc725e adding to-do list Kevin Walker <kevin@canyon23.net> parents: diff changeset	40	* SCOTT: typo in delfig3a -- upper g should be g^{-1}
d8151afc725e adding to-do list Kevin Walker <kevin@canyon23.net> parents: diff changeset	41
783 d450abe6decb minor Kevin Walker <kevin@canyon23.net> parents: 782 diff changeset	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 d8151afc725e adding to-do list Kevin Walker <kevin@canyon23.net> parents: 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: 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

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