diff -r 082bfb8f6325 -r e3c5c55d901d blob_changes_v3 --- a/blob_changes_v3 Thu Dec 08 12:06:43 2011 -0800 +++ b/blob_changes_v3 Thu Dec 08 15:57:34 2011 -0800 @@ -37,4 +37,5 @@ - small corrections to proof of product theorem (7.1.1) - added remarks that various homotopy equivalences we construct are well-defined up to a contractible set of choices - clarified that the surgery cylinder operad action is only up to coherent homotopy +- added some details to the construction of a traditional 2-category from a disk-like 2-category