blob_changes_v3
changeset 845 c9b55efd79dd
parent 823 719931014d3a
child 847 50088eefeedf
equal deleted inserted replaced
842:3e6c66df4df1 845:c9b55efd79dd
    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 - added n-cat axiom for existence of splittings
    30 - added n-cat axiom for existence of splittings, and added similar axiom for fields
    31 - added transversality requirement to product morphism axiom
    31 - added transversality requirement to product morphism axiom
    32 - added remarks on Morita equivalence for n-categories
    32 - added remarks on Morita equivalence for n-categories
    33 - rewrote definition of colimit (in "From Balls to Manifolds" subsection) to allow for more general decompositions; also added more details
    33 - rewrote definition of colimit (in "From Balls to Manifolds" subsection) to allow for more general decompositions; also added more details