blob: blob to-do@a96ffd48ea3d (annotated)

803 a96ffd48ea3d wrote a little (but not enough) about Morita equivalence; out of time, will finish later Kevin Walker <kevin@canyon23.net> parents: 802 diff changeset	1
a96ffd48ea3d wrote a little (but not enough) about Morita equivalence; out of time, will finish later Kevin Walker <kevin@canyon23.net> parents: 802 diff changeset	2	====== big ======
790 ec8587c33c0b more details in C.1; reorganized to-do list Kevin Walker <kevin@canyon23.net> parents: 787 diff changeset	3
801 33b3e0c065d2 adding placeholder figure Kevin Walker <kevin@canyon23.net> parents: 800 diff changeset	4	* 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	5
803 a96ffd48ea3d wrote a little (but not enough) about Morita equivalence; out of time, will finish later Kevin Walker <kevin@canyon23.net> parents: 802 diff changeset	6	* probably should go through and refer to new splitting axiom when we need to choose refinements etc.
790 ec8587c33c0b more details in C.1; reorganized to-do list Kevin Walker <kevin@canyon23.net> parents: 787 diff changeset	7
ec8587c33c0b more details in C.1; reorganized to-do list Kevin Walker <kevin@canyon23.net> parents: 787 diff changeset	8	* 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	9
ec8587c33c0b more details in C.1; reorganized to-do list Kevin Walker <kevin@canyon23.net> parents: 787 diff changeset	10
776 c24e59300fca updated to-do list Kevin Walker <kevin@canyon23.net> parents: 774 diff changeset	11	* 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	12
803 a96ffd48ea3d wrote a little (but not enough) about Morita equivalence; out of time, will finish later Kevin Walker <kevin@canyon23.net> parents: 802 diff changeset	13	* make sure we are clear that boundary = germ (perhaps we are already clear enough)
790 ec8587c33c0b more details in C.1; reorganized to-do list Kevin Walker <kevin@canyon23.net> parents: 787 diff changeset	14
ec8587c33c0b more details in C.1; reorganized to-do list Kevin Walker <kevin@canyon23.net> parents: 787 diff changeset	15	* 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	16
ec8587c33c0b more details in C.1; reorganized to-do list Kevin Walker <kevin@canyon23.net> parents: 787 diff changeset	17
803 a96ffd48ea3d wrote a little (but not enough) about Morita equivalence; out of time, will finish later Kevin Walker <kevin@canyon23.net> parents: 802 diff changeset	18
a96ffd48ea3d wrote a little (but not enough) about Morita equivalence; out of time, will finish later Kevin Walker <kevin@canyon23.net> parents: 802 diff changeset	19	====== minor/optional ======
a96ffd48ea3d wrote a little (but not enough) about Morita equivalence; out of time, will finish later Kevin Walker <kevin@canyon23.net> parents: 802 diff changeset	20
790 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
803 a96ffd48ea3d wrote a little (but not enough) about Morita equivalence; out of time, will finish later Kevin Walker <kevin@canyon23.net> parents: 802 diff changeset	31	* review colors in figures
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
803 a96ffd48ea3d wrote a little (but not enough) about Morita equivalence; out of time, will finish later Kevin Walker <kevin@canyon23.net> parents: 802 diff changeset	34	====== Scott ======
768 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
803 a96ffd48ea3d wrote a little (but not enough) about Morita equivalence; out of time, will finish later Kevin Walker <kevin@canyon23.net> parents: 802 diff changeset	46	* SCOTT: review/proof-read recent KW changes, especially colimit section and n-cat axioms

author	Kevin Walker <kevin@canyon23.net>
	Sun, 19 Jun 2011 21:35:30 -0600
changeset 803	a96ffd48ea3d
parent 802	e3ddb8605e32
child 805	0c681fbb7b85
permissions	-rw-r--r--