changeset 943 | 0a578230ee21 |
parent 942 | 598085348dd1 |
child 952 | 86389e393c17 |
941:ee0c940fce59 | 943:0a578230ee21 |
---|---|
32 *** is the new version sufficiently vague? |
32 *** is the new version sufficiently vague? |
33 |
33 |
34 |
34 |
35 ====== Scott ====== |
35 ====== Scott ====== |
36 |
36 |
37 * SCOTT will go through appendix C.2 and make it better (Schulman's example?) |
|
38 |
|
39 * SCOTT: review/proof-read recent KW changes, especially colimit section and n-cat axioms |
37 * SCOTT: review/proof-read recent KW changes, especially colimit section and n-cat axioms |
40 |
38 |
41 |
39 |
42 |
40 |
43 |
41 |