blob_changes_v3
changeset 794 24f14faacab4
parent 792 966a571daa10
child 797 40729de8e067
--- 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