arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1407.3744math.QAmath.CT
收藏

图、超图和正确图

Graphs, hypergraphs, and properads

Joachim Kock

备注：
v2: substantial revision: corrected a few mistakes concerning convexity; added more details regarding colimits of graphs, associativity of the monad multiplication, generic factorisation, and the nerve theorem; added six references; 40 pages. v3: typos and references; submitted
发表信息：
Collect. Math. 67 (2016), 155-190
阅读 PDF
arXiv 页面 ↗HTML 原文 ↗

摘要：

介绍了有向图的范畴形式主义，具有自然的概念的态射和子图，并导致两个基本的描述的自由propriad单子，第一次在基本图的预层，第二次在广群丰富超图。

英文摘要：

A categorical formalism for directed graphs is introduced, featuring natural notions of morphisms and subgraphs, and leading to two elementary descriptions of the free-properad monad, first in terms of presheaves on elementary graphs, second in terms of groupoid-enriched hypergraphs.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

↑