一句话:证明了 Goursat 范畴中连接子在商下稳定,并由此给出内群胚刻画 Goursat 范畴的简洁性质。
论文研究(正则)Goursat 范畴中连接子(connector)的结构稳定性及其与内群胚的关系。作者首先证明:在任意(正则)Goursat 范畴 C 中,连接子在商对象下保持稳定;由此推出,当 C 是 Goursat 范畴时,以 C 中连接子为对象的范畴 Conn(C) 也是 Goursat 范畴。进一步地,这一结果给出 Goursat 范畴的一种新刻画:它们可以由内群胚的某一简单性质来判定。该工作属于范畴论中 Goursat 条件与内群胚理论的研究,说明连接子能够内在地反映商结构与群胚行为的交互,并为 Goursat 范畴的刻画提供了简洁的范畴论工具。
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}
}