Integration with CW-Complexes

Stream: Infinity-Cosmos

[Dean Young]

We will probably want to integrate CW-complexes and model structures at some point. Jiazhen Xia showed a lemma involving the extension of a map defined on a jar shape.