A note on unitizations of generalized effect algebras

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íková and Pulmannová. Moreover, this adjunction is monadic.