diff -r c5a33223af00 -r 966a571daa10 blob_changes_v3 --- 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) -