LEADER 03402nam  22006135  450 
001 9910300124603321
005 20200703094532.0
010   $a3-319-78948-1
024 7 $a10.1007/978-3-319-78948-4
035   $a(CKB)4100000004834511
035   $a(DE-He213)978-3-319-78948-4
035   $a(MiAaPQ)EBC5426700
035   $a(PPN)22949367X
035   $a(EXLCZ)994100000004834511
100   $a20180609d2018      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aSemigroups in Complete Lattices $eQuantales, Modules and Related Topics /$fby Patrik Eklund, Javier Gutie?rrez Garci?a, Ulrich Höhle, Jari Kortelainen
205   $a1st ed. 2018.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018.
215   $a1 online resource (XXI, 326 p.) 
225 1 $aDevelopments in Mathematics,$x1389-2177 ;$v54
311   $a3-319-78947-3 
327   $aIntroduction -- 1 Foundations -- 2 Fundamentals of Quantales -- 3 Module Theory in Sup -- Appendix -- References -- Index.
330   $aThis monograph provides a modern introduction to the theory of quantales. First coined by C.J. Mulvey in 1986, quantales have since developed into a significant topic at the crossroads of algebra and logic, of notable interest to theoretical computer science. This book recasts the subject within the powerful framework of categorical algebra, showcasing its versatility through applications to C*- and MV-algebras, fuzzy sets and automata. With exercises and historical remarks at the end of each chapter, this self-contained book provides readers with a valuable source of references and hints for future research. This book will appeal to researchers across mathematics and computer science with an interest in category theory, lattice theory, and many-valued logic.
410  0$aDevelopments in Mathematics,$x1389-2177 ;$v54
606   $aAlgebra
606   $aOrdered algebraic structures
606   $aCategory theory (Mathematics)
606   $aHomological algebra
606   $aMathematical logic
606   $aOrder, Lattices, Ordered Algebraic Structures$3https://scigraph.springernature.com/ontologies/product-market-codes/M11124
606   $aCategory Theory, Homological Algebra$3https://scigraph.springernature.com/ontologies/product-market-codes/M11035
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
615  0$aAlgebra.
615  0$aOrdered algebraic structures.
615  0$aCategory theory (Mathematics).
615  0$aHomological algebra.
615  0$aMathematical logic.
615 14$aOrder, Lattices, Ordered Algebraic Structures.
615 24$aCategory Theory, Homological Algebra.
615 24$aMathematical Logic and Formal Languages.
676   $a511.33
700   $aEklund$b Patrik$4aut$4http://id.loc.gov/vocabulary/relators/aut$0452943
702   $aGutie?rrez Garci?a$b Javier$4aut$4http://id.loc.gov/vocabulary/relators/aut
702   $aHöhle$b Ulrich$4aut$4http://id.loc.gov/vocabulary/relators/aut
702   $aKortelainen$b Jari$4aut$4http://id.loc.gov/vocabulary/relators/aut
906   $aBOOK
912   $a9910300124603321
996   $aSemigroups in Complete Lattices$92240083
997   $aUNINA