changeset 802 | e3ddb8605e32 |
parent 801 | 33b3e0c065d2 |
child 803 | a96ffd48ea3d |
--- a/blob to-do Sun Jun 19 17:07:48 2011 -0600 +++ b/blob to-do Sun Jun 19 17:31:34 2011 -0600 @@ -7,8 +7,6 @@ * ** new material in colimit section needs a proof-read -* should probably allow product things \pi^*(b) to be defined only when b is appropriately splittable - * framings and duality -- work out what's going on! (alternatively, vague-ify current statement) * make sure we are clear that boundary = germ