尚未生成 AI 速览(可能缺少 API key 或等待下次运行补跑)。
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.Comment: 14 pages, revised version (minor corrections)
DOI 原文 · arXiv · PDF(开放获取) · DBLP
@article{GranRN17,
title = {Some remarks on connectors and groupoids in Goursat categories},
author = {Marino Gran and Diana Rodelo and Idriss Tchoffo Nguefeu},
journal = {Logical Methods in Computer Science},
volume = {Volume 13, Issue 3},
number = {Algebraic methods},
year = {2017},
doi = {10.23638/lmcs-13(3:14)2017}
}