diff -r 002b4838cc34 -r 40b2a6d891c6 blob_changes_v3 --- a/blob_changes_v3 Thu Jun 30 09:12:32 2011 -0700 +++ b/blob_changes_v3 Mon Jul 04 10:26:37 2011 -0600 @@ -27,7 +27,7 @@ - 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 -- added n-cat axiom for existence of splittings +- added n-cat axiom for existence of splittings, and added similar axiom for fields - added transversality requirement to product morphism axiom - added remarks on Morita equivalence for n-categories - rewrote definition of colimit (in "From Balls to Manifolds" subsection) to allow for more general decompositions; also added more details