Some remarks on connectors and groupoids in Goursat categories

Abstract

We prove that connectors are stable under quotients in any (regular) Goursat category. As a consequence, the category $\mathsf{Conn}(\mathbb{C})$ of connectors in $\mathbb{C}$ is a Goursat category whenever $\mathbb{C}$ is. This implies that Goursat categories can be characterised in terms of a simple property of internal groupoids.

14 pages, revised version (minor corrections)

Cited by in corpus (2)

• A new Galois structure in the category of internal preorders
• Monoidal characterisation of groupoids and connectors