blob_changes_v3
changeset 800 d0b9238aad5d
parent 797 40729de8e067
child 802 e3ddb8605e32
equal deleted inserted replaced
799:bac4619bea50 800:d0b9238aad5d
    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 - modified families-of-homeomorphisms-action axiom for A-infinity n-categories, and added discussion of alternatives
    30 
    30 - added n-cat axiom for existence of splittings
    31 
    31 
    32 
    32 
    33 
    33 
    34 INCOMPLETE:
    34 INCOMPLETE:
    35 - rewrote definition of colimit (in "From Balls to Manifolds" subsection) to allow for more general decompositions; also added more details
    35 - rewrote definition of colimit (in "From Balls to Manifolds" subsection) to allow for more general decompositions; also added more details