Galois Connections and Applications

Häftad, Engelska, 2010

Del i serien Mathematics and Its Applications

1 177 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book presents the main ideas of General Galois Theory as a generalization of Classical Galois Theory. It sketches the development of Galois connections through the last three centuries. Examples of Galois connections as powerful tools in Category Theory and Universal Algebra are given. Applications of Galois connections in Linguistic and Data Analysis are presented.

Produktinformation

Utgivningsdatum:2010-12-07
Mått:155 x 235 x 28 mm
Vikt:779 g
Format:Häftad
Språk:Engelska
Serie:Mathematics and Its Applications
Antal sidor:502
Förlag:Springer
ISBN:9789048165407

Utforska kategorier

Matematik inom Naturvetenskap och teknik
Algebra inom Naturvetenskap och teknik
Artificiell intelligens inom Data och IT

Recensioner i media

From the reviews: "The book under review is the first one fully dedicated to Galois connections and adjunctions. ... I recommend this valuable collection to everybody involved in algebraic research and/or teaching algebra in higher education." (Bela Csakany, Acta Scientiarum Mathematicarum, Vol. 71, 2005)

Innehållsförteckning

Adjunctions and Galois Connections: Origins, History and Development.- Categorical Galois Theory: Revision and Some Recent Developments.- The Polarity between Approximation and Distribution.- Galois Connections and Complete Sublattices.- Galois Connections for Operations and Relations.- Galois Connections and Polynomial Completeness.- Q-Independence and Weak Automorphisms.- A Survey of Clones Closed Under Conjugation.- Galois Connections for Partial Algebras.- Complexity of Terms and the Galois Connection Id-Mod.- Iterated Galois Connections in Arithmetic and Linguistics.- Deductive Systems and Galois Connections.- A Galois Correspondence for Digital Topology.- Galois Connections in Category Theory, Topology and Logic.- Dyadic Mathematics — Abstractions from Logical Thought.