{"product_id":"four-functors-the-ancestor-of-mundicis-equivalence-between-unital-commutative-l-groups-and-mv-algebras-paperback","title":"Four Functors. The 'ancestor' of Mundici's equivalence between unital commutative l-groups and MV algebras - Paperback","description":"\u003cdiv\u003e\u003cp style=\"text-align: right;\"\u003e\u003ca href=\"https:\/\/reportcopyrightinfringement.com\/\" target=\"_blank\" rel=\"nofollow\"\u003e\u003cb\u003eReport copyright infringement\u003c\/b\u003e\u003c\/a\u003e\u003c\/p\u003e\u003c\/div\u003e\u003cp\u003eby \u003cb\u003eAfrodita Iorgulescu\u003c\/b\u003e (Author)\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cem\u003eDaniele Mundici has proved in 1986 that the category of lattice-ordered commutative groups with strong unit (or unital commutative l-groups, for short) is equivalent to the category of MV algebras, by proving the existance of the quasi-inverse functors Gamma and  Xi. He has made the proof in one step, but the proof can be made in two steps, as it is sketched in this book, by introducing the intermediary category of positive-unital commutative l-groups and four functors.\u003c\/em\u003e\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cem\u003eMarco Abbadini has presented in 2021 his equivalence à la Mundici for commutative l-monoids, in two steps, with four functors. \u003c\/em\u003e\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cem\u003eAfrodita Iorgulescu has introduced and studied in 2020 a new commutative framework, centered on m-BCK algebras, containing the commutative groups and the MV algebras. Hence, she has had sufficient background material to generalize Mundici's equivalence, to fi nd its 'ancestor'. The role of unital commutative l-groups is played by the strong mo-ME structures, the role of positive unital commutative l-groups is played by the strong mo-ME positive cones, and the role of MV algebras is played by the XY algebras, all belonging to this new framework. She presents in this book this 'ancestor', in two steps, with four functors: the category of strong mo-ME structures is not equivalent to the category of strong mo-ME positive cones (step 1), but\u003c\/em\u003e\u003c\/p\u003e\u003cp\u003e\u003cem\u003ethe category of strong mo-ME positive cones is equivalent to the category of XY algebras (step 2).\u003c\/em\u003e\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cem\u003eAbbadini's results and the wonderful instrument which is Prover9-Mace4 were of major help in writing this book.\u003c\/em\u003e\u003c\/p\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003eNumber of Pages:\u003c\/strong\u003e 332\u003c\/div\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003eDimensions:\u003c\/strong\u003e 0.69 x 9.21 x 6.14 IN\u003c\/div\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003ePublication Date:\u003c\/strong\u003e October 01, 2025\u003c\/div\u003e\n            ","brand":"BooksCloud","offers":[{"title":"Default Title","offer_id":53274311098675,"sku":"9781848904965","price":43.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0300\/5595\/6612\/files\/ANS11G__ng9781848904965.webp?v=1776896056","url":"https:\/\/www.vysn.com\/en-ca\/products\/four-functors-the-ancestor-of-mundicis-equivalence-between-unital-commutative-l-groups-and-mv-algebras-paperback","provider":"VYSN","version":"1.0","type":"link"}