equal
deleted
inserted
replaced
1 |
1 |
2 * lemma [inject 6.3.5?] assumes more splittablity than the axioms imply (?) |
2 * need to change module axioms to follow changes in n-cat axioms; search for and destroy all the "Homeo_\bd"'s, add a v-cone axiom |
3 |
|
4 * need to change module axioms to follow changes in n-cat axioms; search for and destroy all the "Homeo_\bd"'s |
|
5 |
3 |
6 |
4 |
7 * Boundary of colimit -- not so easy to see! |
5 * Boundary of colimit -- not so easy to see! |
8 |
6 |
9 * ** new material in colimit section needs a proof-read |
7 * ** new material in colimit section needs a proof-read |