On the category of hyper MV-algebras

摘要

In this paper we study the category of hyper MV-algebras and we prove that it has it terminal object and a co-equalizer. We show that Jia's construction can be modified to provide a free hyper MV-algebra by a set. We use this to show that in the category of hyper MV-algebras the monomorphisms are exactly the one-to-one homomorphisms.