# HG changeset patch # User Kevin Walker # Date 1323813246 28800 # Node ID 31dc2bdaf17c68afcbe26b99f5fe0dc6c9cbfd14 # Parent 680b890d291857d82c802a38762848a08d10b8d5 correction to blob_changes_v3 diff -r 680b890d2918 -r 31dc2bdaf17c blob_changes_v3 --- a/blob_changes_v3 Tue Dec 13 13:52:26 2011 -0800 +++ b/blob_changes_v3 Tue Dec 13 13:54:06 2011 -0800 @@ -27,7 +27,6 @@ - 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 - modified families-of-homeomorphisms-action axiom for A-infinity n-categories, and added discussion of alternatives - added n-cat axiom for existence of splittings, and added similar axiom for fields - added transversality requirement to product morphism axiom