幺半群半环构造的范畴类比
范畴论
2013-06-03 v1 环与代数
摘要
本文引入并研究了熟悉的幺半群半环构造的范畴类比。通过引入一种求和公理化方法，统一了代数程序语义中的求和概念与分析理论中的各种求和概念，我们证明了幺半群半环构造可推广至幺半群和半环均为范畴的情形。该构造具有许多有趣且自然的范畴性质，以及自然的计算解释。
引用
@article{arxiv.1305.7414,
title = {A categorical analogue of the monoid semiring construction},
author = {Peter Hines},
journal= {arXiv preprint arXiv:1305.7414},
year = {2013}
}
备注
34 pages, 5 diagrams