fixed 1Cob and 2Cob and added a load of higher category theory