blob to-do
changeset 797 40729de8e067
parent 796 d30537de52c7
child 798 bc8de6442481
equal deleted inserted replaced
796:d30537de52c7 797:40729de8e067
     1 
     1 
     2 * lemma [inject  6.3.5?] assumes more splittablity than the axioms imply (?)
     2 * lemma [inject  6.3.5?] assumes more splittablity than the axioms imply (?)
     3 
     3 
     4 
     4 
     5 * Consider moving A_\infty stuff to a subsection
     5 * Consider moving A_\infty stuff to a subsection
     6 
       
     7 * consider putting conditions for enriched n-cat all in one place
       
     8 
     6 
     9 * Peter's suggestion for A_inf definition
     7 * Peter's suggestion for A_inf definition
    10 
     8 
    11 * Boundary of colimit -- not so easy to see!
     9 * Boundary of colimit -- not so easy to see!
    12 
    10 
    31 * consider proving the gluing formula for higher codimension manifolds with
    29 * consider proving the gluing formula for higher codimension manifolds with
    32 morita equivalence
    30 morita equivalence
    33 
    31 
    34 * leftover: we used to require that composition of A-infinity n-morphisms was injective (just like lower morphisms).  Should we stick this back in?  I don't think we use it anywhere.
    32 * leftover: we used to require that composition of A-infinity n-morphisms was injective (just like lower morphisms).  Should we stick this back in?  I don't think we use it anywhere.
    35 
    33 
       
    34 * should we require, for A-inf n-cats, that families which preserve product morphisms act trivially?
       
    35 
    36 
    36 
    37 
    37 
    38 * SCOTT will go through appendix C.2 and make it better
    38 * SCOTT will go through appendix C.2 and make it better
    39 
    39 
    40 * SCOTT: typo in delfig3a -- upper g should be g^{-1}
    40 * SCOTT: typo in delfig3a -- upper g should be g^{-1}