--- 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