Sheaves of Algebras over Boolean Spaces

Sheaves of Algebras over Boolean Spaces
Author: Arthur Knoebel
Publisher: Springer Science & Business Media
Total Pages: 336
Release: 2011-12-16
Genre: Mathematics
ISBN: 0817646426

This unique monograph building bridges among a number of different areas of mathematics such as algebra, topology, and category theory. The author uses various tools to develop new applications of classical concepts. Detailed proofs are given for all major theorems, about half of which are completely new. Sheaves of Algebras over Boolean Spaces will take readers on a journey through sheaf theory, an important part of universal algebra. This excellent reference text is suitable for graduate students, researchers, and those who wish to learn about sheaves of algebras.

Categorical Algebra and its Applications

Categorical Algebra and its Applications
Author: Francis Borceux
Publisher: Springer
Total Pages: 375
Release: 2006-11-14
Genre: Mathematics
ISBN: 3540459855

Categorical algebra and its applications contain several fundamental papers on general category theory, by the top specialists in the field, and many interesting papers on the applications of category theory in functional analysis, algebraic topology, algebraic geometry, general topology, ring theory, cohomology, differential geometry, group theory, mathematical logic and computer sciences. The volume contains 28 carefully selected and refereed papers, out of 96 talks delivered, and illustrates the usefulness of category theory today as a powerful tool of investigation in many other areas.

Coalgebraic Methods in Computer Science

Coalgebraic Methods in Computer Science
Author: Helle Hvid Hansen
Publisher: Springer Nature
Total Pages: 210
Release: 2022-07-22
Genre: Mathematics
ISBN: 3031107365

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2022, colocated with ETAPS 2022, held in Munich, Germany, in April 2022. The 9 revised full papers were carefully reviewed and selected from 12 submissions. The papers cover a wide range of topics in the theory, logics, and applications of coalgebras.

Decidability and Boolean Representations

Decidability and Boolean Representations
Author: Stanley Burris
Publisher: American Mathematical Soc.
Total Pages: 117
Release: 1981
Genre: Mathematics
ISBN: 0821822462

In part I we address the question: which varieties have a decidable first order theory? We confine our attention to varieties whose algebras have modular congruence lattices (i.e., modular varieties), and focus primarily on locally finite varieties, although near the end of the paper Zamjatin's description of all decidable varieties of groups and rings, and offer a new proof of it. In part II, we show that if a variety admits such sheaf representations using only finitely many stalks, all of which are finite, then the variety can be decomposed in the product of a discriminator variety and an abelian variety. We continue this investigation by looking at well-known specializations of the sheaf construction, namely Boolean powers and sub-Boolean powers, giving special emphasis to quasi-primal algebras A, such that the sub-Boolean powers of A form a variety (this extends the work of Arens and Kaplansky on finite fields).

Galois Theories

Galois Theories
Author: Francis Borceux
Publisher: Cambridge University Press
Total Pages: 360
Release: 2001-02-22
Genre: Mathematics
ISBN: 9780521803090

Develops Galois theory in a more general context, emphasizing category theory.

Sketches of an Elephant: A Topos Theory Compendium

Sketches of an Elephant: A Topos Theory Compendium
Author: P. T. Johnstone
Publisher: Oxford University Press
Total Pages: 836
Release: 2002-09-12
Genre: Computers
ISBN: 9780198515982

Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science, and it derives much of its power from the interplay of ideas drawn from these different areas. Because of this, an account of topos theory which approaches the subject from one particular direction can only hope to give a partial picture; the aim of this compendium is to present as comprehensive an account as possible of all the main approaches and to thereby demonstrate the overall unity of the subject. The material is organized in such a way that readers interested in following a particular line of approach may do so by starting at an appropriate point in the text.

Discriminator-Algebras

Discriminator-Algebras
Author: Heinrich Werner
Publisher: Walter de Gruyter GmbH & Co KG
Total Pages: 104
Release: 1979-01-14
Genre: Mathematics
ISBN: 3112733339

Keine ausführliche Beschreibung für "Discriminator-Algebras" verfügbar.

Galois Connections and Applications

Galois Connections and Applications
Author: K. Denecke
Publisher: Springer Science & Business Media
Total Pages: 511
Release: 2013-11-11
Genre: Mathematics
ISBN: 1402018983

Galois connections provide the order- or structure-preserving passage between two worlds of our imagination - and thus are inherent in hu man thinking wherever logical or mathematical reasoning about cer tain hierarchical structures is involved. Order-theoretically, a Galois connection is given simply by two opposite order-inverting (or order preserving) maps whose composition yields two closure operations (or one closure and one kernel operation in the order-preserving case). Thus, the "hierarchies" in the two opposite worlds are reversed or transported when passing to the other world, and going forth and back becomes a stationary process when iterated. The advantage of such an "adjoint situation" is that information about objects and relationships in one of the two worlds may be used to gain new information about the other world, and vice versa. In classical Galois theory, for instance, properties of permutation groups are used to study field extensions. Or, in algebraic geometry, a good knowledge of polynomial rings gives insight into the structure of curves, surfaces and other algebraic vari eties, and conversely. Moreover, restriction to the "Galois-closed" or "Galois-open" objects (the fixed points of the composite maps) leads to a precise "duality between two maximal subworlds".