arboreal categories 的公理
计算机科学中的逻辑
2026-03-24 v1 范畴论
逻辑
摘要
Arboreal categories 作为一种用于游戏单子（game comonads）的公理化框架被提出。我们展示了关于路径连通性（paths are connected）这一公理的不足。随后我们提出了“树形连通性”（tree-connectedness）的概念，以解决这一缺陷，并表明我们所熟知的所有 arboreal categories 的 essential properties 在此新定义下仍然有效。进一步地，我们表明路径函子是一个 Street 单位映射（Street fibration）。
关键词
引用
@article{arxiv.2603.21841,
title = {On the Axioms of Arboreal Categories},
author = {Tomáš Jakl and Luca Reggio},
journal= {arXiv preprint arXiv:2603.21841},
year = {2026}
}
备注
26 pages. This is an extended version of a paper due to appear in the proceedings of the 18th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2026)