changeset 939 | e3c5c55d901d |
parent 932 | bfae3636133e |
child 975 | 31dc2bdaf17c |
--- 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