--- 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