## Abstract The notions of a (weak) hyper MV‐deductive system, a (⊆, ⊆; ⊆)‐hyper MV‐deductive system, a (≪, ⊆; ⊆)‐ hyper MV‐deductive system, a (≪, ≪; ⊆)‐hyper MV‐deductive system, a (≪, ≪; ≪)‐hyper MV‐deductive system and a (∩, ∩; ∩)‐hyper MV‐deductive system are introduced, and then their relatio
On the category of hyper MV-algebras
✍ Scribed by Shokoofeh Ghorbani; Esfandiar Eslami; Abbas Hasankhani
- Publisher
- John Wiley and Sons
- Year
- 2009
- Tongue
- English
- Weight
- 123 KB
- Volume
- 55
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
✦ Synopsis
Abstract
In this paper we study the category of hyper MV‐algebras and we prove that it has a terminal object and a coequalizer. 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. (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)
📜 SIMILAR VOLUMES
In our previous work (math/0008128), we studied the set Quant(K) of all universal quantization functors of Lie bialgebras over a field K of characteristic zero, compatible with the operations of taking duals and doubles. We showed that Quant ), where G 0 (K) is a universal group and Q Q(K) is a quot