Semigroups in Complete Lattices
Springer International Publishing (Verlag)
978-3-030-07687-0 (ISBN)
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.
Patrik Eklund develops applications based on many-valued representation of information. Information typically resides in the form of expressions and terms as integrated in knowledge structures, so that term functors, extendable to monads, become important instrumentations in applications. Categorical term constructions with applications to Goguen's category have been recently achieved (cf. Fuzzy Sets and Syst. 298, 128-157 (2016)). Information representation supported by such monads, and as constructed over monoidal closed categories, inherits many-valuedness in suitable ways also in implementations.
Introduction.- 1 Foundations.- 2 Fundamentals of Quantales.- 3 Module Theory in Sup.- Appendix.- References.- Index.
"This monograph is a detailed and extensive investigation of the theory of quantales in different areas of mathematics. ... the book is self-contained, well-organized and well-written and is warmly recommended to read." (Ali Madanshekaf, zbMATH 1491.06001, 2022)
“This monograph is a detailed and extensive investigation of the theory of quantales in different areas of mathematics. … the book is self-contained, well-organized and well-written and is warmly recommended to read.” (Ali Madanshekaf, zbMATH 1491.06001, 2022)
Erscheinungsdatum | 18.02.2019 |
---|---|
Reihe/Serie | Developments in Mathematics |
Zusatzinfo | XXI, 326 p. |
Verlagsort | Cham |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 534 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika | |
Mathematik / Informatik ► Mathematik ► Algebra | |
Schlagworte | automata and free unital quantales • balanced and bisymmetric quantales • Frobenius quantales and complete MV-algebras • modules on unital quantales • MSC (2010) 06F07, 18C20, 18D15, 46L05 • quantales and enriched category theory • quantales and monoidal categories • semi-unital quantales • spectrum of non-commutative C -algebras • spectrum of non-commutative C*-algebras • tensor product of quantales |
ISBN-10 | 3-030-07687-3 / 3030076873 |
ISBN-13 | 978-3-030-07687-0 / 9783030076870 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich