| Item type | Current location | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
| E-Books | Biblioteca da FCTUNL Online | Não Ficção | QA174 | QA171.5. FCT 98351 (Browse shelf) | 1 | Available |
Browsing Biblioteca da FCTUNL Shelves , Shelving location: Online , Collection code: Não Ficção Close shelf browser
| QA171.5. SPR FCT 97310 The congruences of a finite lattice | QA174 | QA171.5. FCT 96420 Boolean representations of simplicial complexes and matroids | QA174 | QA171.5. FCT 98042 Poset codes | QA174 | QA171.5. FCT 98351 Semigroups in complete lattices | QA174.SPR FCT Representation theory of finite groups: a guidebook | QA174.SPR FCT Selected exercises in algebra | QA174.SPR FCT Geometric and harmonic analysis on homogeneous spaces |
Colocação: Online
This 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.
There are no comments for this item.