Scifaro

中文

偏序集范畴上的有限元单子

范畴论 2020-12-01 v1

作者: Jiří Adámek , Chase Ford , Stefan Milius , Lutz Schröder

在 arXiv 上查看 ↗ PDF ↗

摘要

$\mathsf{Pos}$ 上的有限元单子被刻画为恰为代数的簇的自由代数单子。这些是由上下文中的不等方程所指定的有序代数类。类似地，对 $\mathsf{Pos}$ 上的有限元富集单子进行了刻画：此处我们使用相干代数的簇，这意味着其运算是单调的。

关键词

有限元单子偏序集范畴自由代数单子代数簇有序代数富集单子相干代数

引用

@article{arxiv.2011.14796,
  title  = {Finitary Monads on the Category of Posets},
  author = {Jiří Adámek and Chase Ford and Stefan Milius and Lutz Schröder},
  journal= {arXiv preprint arXiv:2011.14796},
  year   = {2020}
}