diff -r d30537de52c7 -r 40729de8e067 blob to-do --- a/blob to-do Thu Jun 16 11:11:41 2011 -0600 +++ b/blob to-do Fri Jun 17 12:01:43 2011 -0600 @@ -4,8 +4,6 @@ * Consider moving A_\infty stuff to a subsection -* consider putting conditions for enriched n-cat all in one place - * Peter's suggestion for A_inf definition * Boundary of colimit -- not so easy to see! @@ -33,6 +31,8 @@ * 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. +* should we require, for A-inf n-cats, that families which preserve product morphisms act trivially? + * SCOTT will go through appendix C.2 and make it better