"Category of relations"

Monoidal characterisation of groupoids and connectors