Whitney categories and the Tangle Hypothesis
Yoneda representations of flat functors and classifying toposes
`Double modules', double categories and groupoids, and a new homotopical double groupoid
ΣΠ-polycategories, additive linear logic, and process semantics