| changeset 918 | 80fe92f8f81f |
| parent 914 | db365e67adf6 |
| child 919 | 259bef1b5dad |
| 917:9d0b9ffcd86b | 918:80fe92f8f81f |
|---|---|
1 |
1 |
2 ====== big ====== |
2 ====== big ====== |
3 |
|
4 * 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 |
|
5 |
3 |
6 * framings and duality -- work out what's going on! (alternatively, vague-ify current statement) |
4 * framings and duality -- work out what's going on! (alternatively, vague-ify current statement) |
7 |
5 |
8 |
6 |
9 ====== minor/optional ====== |
7 ====== minor/optional ====== |