Gran, Marino
[UCL]
Rodelo, Diana
[UCL]
Tchoffo Nguefeu, Idriss
[UCL]
We prove that connectors are stable under quotients in any (regular) Goursat category. As a consequence, the category $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.
Bibliographic reference |
Gran, Marino ; Rodelo, Diana ; Tchoffo Nguefeu, Idriss. Some remarks on connectors and groupoids in Goursat categories. In: Logical Methods in Computer Science, Vol. 13, no. 3, p. 1-12 (August 23, 2017) |
Permanent URL |
http://hdl.handle.net/2078.1/181875 |