A note on unitizations of generalized effect algebras
Rings and Algebras
2017-03-28 v1
Abstract
There is a forgetful functor from the category of generalized effect algebras to the category of effect algebras. We prove that this functor is a right adjoint and that the corresponding left adjoint is the well-known unitization construction by Hedl\'ikov\'a and Pulmannov\'a. Moreover, this adjunction is monadic.
Keywords
Cite
@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}
}