paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Some remarks on connectors and groupoids in Goursat categories

Goursat 范畴中连接子与群胚的若干注记
LMCS Volume 13, Issue 3(Algebraic methods)2017匹配度 1/10 · 该论文属于纯范畴论/形式语义基础研究,讨论 Goursat 范畴中的连接子与内群胚,不涉及静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析,与研究画像的核心问题无直接关联。引用 8 inbox
Marino Gran, Diana Rodelo, Idriss Tchoffo Nguefeu
dblp: 2026-09-10crossref: 2026-09-10arxiv: 2026-09-10

AI 速览

一句话:证明了 Goursat 范畴中连接子在商下稳定,并由此给出内群胚刻画 Goursat 范畴的简洁性质。

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

问题
研究(正则)Goursat 范畴中连接子在商下是否稳定,以及能否用内群胚的简单性质来刻画 Goursat 范畴。
方法
采用范畴论方法,分析连接子、正则商与内群胚之间的结构关系,并证明连接子在商下保持稳定。
评估
通过范畴论定理证明进行评估,核心结论是 Conn(C) 仍为 Goursat 范畴,并由此导出 Goursat 范畴的内群胚刻画。
原文摘要(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}
}