diff -r 421bd394a2bd -r fb9fc18d2a52 blob to-do --- a/blob to-do Fri Jun 24 06:39:25 2011 -0700 +++ b/blob to-do Fri Jun 24 21:41:48 2011 -0700 @@ -5,15 +5,11 @@ * probably should go through and refer to new splitting axiom when we need to choose refinements etc. -* Boundary of colimit -- not so easy to see! - * framings and duality -- work out what's going on! (alternatively, vague-ify current statement) * make sure we are clear that boundary = germ (perhaps we are already clear enough) -* maybe say something in colimit section about restriction to submanifolds and submanifolds of boundary (we use this in n-cat axioms) - ====== minor/optional ======