changeset 782 | d8ae97449506 |
parent 779 | d75b7bfc44f2 |
parent 781 | 0a9adf027f47 |
child 783 | d450abe6decb |
779:d75b7bfc44f2 | 782:d8ae97449506 |
---|---|
64 |
64 |
65 * lemma [inject 6.3.5?] assumes more splittablity than the axioms imply (?) |
65 * lemma [inject 6.3.5?] assumes more splittablity than the axioms imply (?) |
66 |
66 |
67 * consider putting conditions for enriched n-cat all in one place |
67 * consider putting conditions for enriched n-cat all in one place |
68 |
68 |
69 * SCOTT: figure for example 3.1.2 (sin 1/z) |
|
70 |
|
71 * SCOTT: add vertical arrow to middle of figure 19 (decomp poset) |