"Regular category"

Monoidal characterisation of groupoids and connectors