"Monoidal category"

Monoidal characterisation of groupoids and connectors

Tensor topology