--- a/blob_changes_v3 Wed Jun 01 15:04:31 2011 -0600
+++ b/blob_changes_v3 Wed Jun 01 15:17:39 2011 -0600
@@ -24,6 +24,7 @@
- reduced intermingling for the various n-cat definitions (plain, enriched, A-infinity)
- 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)
-