paperbot · PL 论文追踪

RSS

Some remarks on connectors and groupoids in Goursat categories

LMCS Volume 13, Issue 3(Algebraic methods)2017引用 8
Marino Gran, Diana Rodelo, Idriss Tchoffo Nguefeu

尚未生成 AI 速览(可能缺少 API key 或等待下次运行补跑)。

原文摘要(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.Comment: 14 pages, revised version (minor corrections)

链接与引用

DOI 原文 · arXiv · PDF(开放获取) · DBLP

BibTeX
@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}
}