blob_changes_v3
changeset 792 966a571daa10
parent 790 ec8587c33c0b
child 794 24f14faacab4
--- 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)
 -