changeset 942 | 598085348dd1 |
parent 939 | e3c5c55d901d |
child 952 | 86389e393c17 |
940:04079a7aeaef | 942:598085348dd1 |
---|---|
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 |