关于广义效应代数单位化的一点注记
环与代数
2017-03-28 v1
摘要
从广义效应代数范畴到效应代数范畴存在一个遗忘函子。我们证明该函子是一个右伴随，且相应的左伴随是 Hedlíková 和 Pulmannová 著名的单位化构造。此外，该伴随是单子的。
引用
@article{arxiv.1703.08722,
title = {A note on unitizations of generalized effect algebras},
author = {Gejza Jenča},
journal= {arXiv preprint arXiv:1703.08722},
year = {2017}
}