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.
Full Text
Sign-in/Register to access full text options
Published version (Free)
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have