单子的典范分次
计算机科学中的逻辑
2023-08-01 v1 编程语言
范畴论
摘要
我们定义了单态范畴C中单子T相对于一组态射M（其提供M-子对象的概念）的分次概念。我们证明，在合理条件下（包括M构成因子分解系统），T存在典范分次。我们的应用面向分次单子与计算效应的模型。我们通过刻画若干单子的典范分次来展示结果，其中C为带复合的自函子。我们还表明，我们能为代数运算获得典范分次。
引用
@article{arxiv.2307.16558,
title = {Canonical Gradings of Monads},
author = {Flavien Breuvart and Dylan McDermott and Tarmo Uustalu},
journal= {arXiv preprint arXiv:2307.16558},
year = {2023}
}
备注
In Proceedings ACT 2022, arXiv:2307.15519