A note on unitizations of generalized effect algebras
classification
🧮 math.RA
keywords
algebraseffectadjointcategoryfunctorgeneralizedadjunctionconstruction
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.