changeset 828 | 762ffd2246e7 |
parent 827 | 8c07beb30362 |
child 829 | 070a65c4f826 |
--- a/blob to-do Tue Jun 28 17:09:14 2011 -0700 +++ b/blob to-do Tue Jun 28 17:11:20 2011 -0700 @@ -33,6 +33,4 @@ * SCOTT: make sure acknowledge list doesn't omit anyone from blob seminar who should be included (I think I have all the speakers; does anyone other than the speakers rate a mention?) -* SCOTT: add vertical arrow to middle of figure 19 (decomp poset) - * SCOTT: review/proof-read recent KW changes, especially colimit section and n-cat axioms