"Goursat category"

Monoidal characterisation of groupoids and connectors