blob to-do
changeset 802 e3ddb8605e32
parent 801 33b3e0c065d2
child 803 a96ffd48ea3d
equal deleted inserted replaced
801:33b3e0c065d2 802:e3ddb8605e32
     4 
     4 
     5 * Boundary of colimit -- not so easy to see!
     5 * Boundary of colimit -- not so easy to see!
     6 
     6 
     7 * ** new material in colimit section needs a proof-read
     7 * ** new material in colimit section needs a proof-read
     8 
     8 
     9 
       
    10 * should probably allow product things \pi^*(b) to be defined only when b is appropriately splittable
       
    11 
     9 
    12 * framings and duality -- work out what's going on! (alternatively, vague-ify current statement)
    10 * framings and duality -- work out what's going on! (alternatively, vague-ify current statement)
    13 
    11 
    14 * make sure we are clear that boundary = germ
    12 * make sure we are clear that boundary = germ
    15 
    13