diff -r adfffac7c138 -r 24f14faacab4 blob_changes_v3 --- a/blob_changes_v3 Tue Jun 14 19:28:48 2011 -0600 +++ b/blob_changes_v3 Wed Jun 15 14:15:19 2011 -0600 @@ -25,7 +25,7 @@ - strengthened n-cat isotopy invariance axiom to allow for homeomorphisms which act trivially elements on the restriction of an n-morphism to the boundary of the ball - more details on axioms for enriched n-cats - added details to the construction of traditional 1-categories from disklike 1-categories (Appendix C.1) -- +- extended the lemmas of Appendix B (about adapting families of homeomorphisms to open covers) to the topological category