Po-groups and hypergroups in a topos

This paper deals with two constructions in topos theory: po-groups and hypergroups. After a deep analysisof these, we restrict our attention to find a hypergroup associated to a po-group G in a topos E . The method thatwe use here is based on the Mitchell–B´enabou language. Then, we show that on the negative and positive cones of apo-group G in E, the left and right translations are hyperhomomorphisms in E. Our aim is to find two faithful and leftexact functors from the category of po-groups in E to the (smallest in some sense) finitely complete category containinghypergroups in E . A version of this result is also presented on the category of lattices in E instead of po-groups. Thisversion recovers filters and ideals of a lattice in E by means of hyperoperations. We will finish the manuscript bytransforming the Heyting algebra structure of the subobject classifier Ω of E to a hypergroup in E .

PDF

___

[1] Borceux F. Handbook of Categorical Algebra, Vol. I and III. Cambridge, UK: Cambridge University Press, 1994.
[2] Chau LL, Nahm W. Differential Geometric Methods in Theoretical Physics: Physics and Geometry. New York, NY, USA: Springer Science and Business Media, 1990.
[3] Chavlina J. Commutative hypergroups in the sense of Marty and ordered sets. Proceedings of the Summer School on General Algebra and Ordered Sets, Olomouc: Verlag Johannes Heyn, 1994, pp. 19-30.
[4] Chavlina J, Chvalinovà L. Join spaces of linear ordinary differential operators of the second order. Colloqium on Differential and Difference Equations, CDDE 2002. In: Folia FSN Universitatis Masarykianae Brunesis, Mathematica 13, MU Brno, Czech Republic 2003, pp. 77-86.
[5] Corsini P. Prolegomena of Hypergroup Theory. 2nd ed. Aviani Editore, 1993.
[6] Corsini P, Leoreanu V. Applications of Hyperstructure Theory. Berlin, Germany: Kluwer Academic Publishers, 2003.
[7] Davvaz B. Polygroup Theory and Related Systems. Hackensack, USA: World Scientific Publishing Co. Pte. Ltd., 2013.
[8] Dehghan Nezhad A, Moosavi Nejad SM, Nadjafikhah M, Davvaz B. A physical example of algebraic hyperstructures: Leptons. Indian Journal of Physics 2012; 86 (11): 1027-1032.
[9] Hošková Š, Chvalina J. Discrete transformation hypergroups and transformation hypergroups with phase tolerance space. Discrete Mathematics 2008; 308 (18): 4133-4143. doi:10.1016/j.disc.2007.08.005
[10] Hosseini SN, Khorashadi-Zadeh MR, Zahedi MM. Hypergroup objects. Pure Mathematics and Applications 2001; 12 (4): 389-403.
[11] Hosseini SN, Mousavi SSh, Zahedi MM. Category of polygroup objects. Bulletin of the Iranian Mathematical Society 2002; 28 (1): 67-86.
[12] Johnstone PT. Sketches of an Elephant: a Topos Theory Compendium, Vol. 1. Oxford, UK: Clarendon Press, 2002.
[13] MacLane S, Moerdijk I. Sheaves in Geometry and Logic. New York, NY, USA: Springer-Verlag, 1992.
[14] Marty F. Sur une Generalization de la Notion de Groupe. Acts du Huitieme Congres des Mathematiciens Scandinaves, Stockholm, 1934; pp. 45-49 (in French).
[15] Madanshekaf A, Ashrafi AR. Generalized action of a hypergroup on a set. Italian Journal of Pure and Applied Mathematics 1998; 3: 127-135.
[16] Madanshekaf A. Hv -structure associated with PQ-hyperoperations. Journal of Discrete Mathematical Sciences and Cryptography 2003; 6 (2-3): 199-205.
[17] Madanshekaf A. Exact category of hypermodules. International Journal of Mathematics and Mathematical Sciences 2006; Art. ID 31368, 8 pp.
[18] Madanshekaf A. Isomorphism theorems on PQ-hyperstructures. Journal of Multiple-Valued Logic and Soft Computing 2009; 15 (5-6): 507-515.
[19] McLarty F. Defining sets as sets of points of spaces. Journal of Philosophical Logic 1988; 17: 75-90.
[20] Rasouli S, Davvaz B. Construction and spectral topology on Hyperlattices. Mediterranean Journal of Mathematics 2010; 7: 249–262.
[21] Steinberg SA. Lattice-ordered Rings and Modules. New York, NY, USA: Springer-Verlag, 2010.
[22] Vougiouklis T. Hyperstructures and Their Representations. Inc., Palm Harbor, FL, USA: Hadronic Press, 1994.