blob_changes_v3
changeset 797 40729de8e067
parent 794 24f14faacab4
child 800 d0b9238aad5d
equal deleted inserted replaced
796:d30537de52c7 797:40729de8e067
    24 - reduced intermingling for the various n-cat definitions (plain, enriched, A-infinity)
    24 - reduced intermingling for the various n-cat definitions (plain, enriched, A-infinity)
    25 - 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
    25 - 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
    26 - more details on axioms for enriched n-cats
    26 - more details on axioms for enriched n-cats
    27 - added details to the construction of traditional 1-categories from disklike 1-categories (Appendix C.1)
    27 - added details to the construction of traditional 1-categories from disklike 1-categories (Appendix C.1)
    28 - extended the lemmas of Appendix B (about adapting families of homeomorphisms to open covers) to the topological category
    28 - extended the lemmas of Appendix B (about adapting families of homeomorphisms to open covers) to the topological category
       
    29 - modified families-of-homeomorphisms-action axiom for A-infinity n-categories, and added discussion of alternatives
    29 
    30 
    30 
    31 
    31 
    32 
    32 
    33 
    33 INCOMPLETE:
    34 INCOMPLETE: