diff -r 33b3e0c065d2 -r e3ddb8605e32 blob to-do --- 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