TY  - RPRT
TI  - Topological *-autonomous categories, revisited
AU  - Michael Barr
PY  - 2016
UR  - https://arxiv.org/abs/1609.04241
ID  - 1609.04241
ER  -