changeset 802 | e3ddb8605e32 |
parent 800 | d0b9238aad5d |
child 805 | 0c681fbb7b85 |
--- a/blob_changes_v3 Sun Jun 19 17:07:48 2011 -0600 +++ b/blob_changes_v3 Sun Jun 19 17:31:34 2011 -0600 @@ -28,6 +28,7 @@ - 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 +- added transversality requirement to product morphism axiom