blob_changes_v3
changeset 797 40729de8e067
parent 794 24f14faacab4
child 800 d0b9238aad5d
--- a/blob_changes_v3	Thu Jun 16 11:11:41 2011 -0600
+++ b/blob_changes_v3	Fri Jun 17 12:01:43 2011 -0600
@@ -26,6 +26,7 @@
 - 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