"Groupoid"

Monoidal characterisation of groupoids and connectors