An Invitation To General Algebra And Universal Constructions
Download An Invitation To General Algebra And Universal Constructions PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get An Invitation To General Algebra And Universal Constructions book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
An Invitation to General Algebra and Universal Constructions
Rich in examples and intuitive discussions, this book presents General Algebra using the unifying viewpoint of categories and functors. Starting with a survey, in non-category-theoretic terms, of many familiar and not-so-familiar constructions in algebra (plus two from topology for perspective), the reader is guided to an understanding and appreciation of the general concepts and tools unifying these constructions. Topics include: set theory, lattices, category theory, the formulation of universal constructions in category-theoretic terms, varieties of algebras, and adjunctions. A large number of exercises, from the routine to the challenging, interspersed through the text, develop the reader's grasp of the material, exhibit applications of the general theory to diverse areas of algebra, and in some cases point to outstanding open questions. Graduate students and researchers wishing to gain fluency in important mathematical constructions will welcome this carefully motivated book.
Hyperidentities: Boolean And De Morgan Structures
Hyperidentities are important formulae of second-order logic, and research in hyperidentities paves way for the study of second-order logic and second-order model theory.This book illustrates many important current trends and perspectives for the field of hyperidentities and their applications, of interest to researchers in modern algebra and discrete mathematics. It covers a number of directions, including the characterizations of the Boolean algebra of n-ary Boolean functions and the distributive lattice of n-ary monotone Boolean functions; the classification of hyperidentities of the variety of lattices, the variety of distributive (modular) lattices, the variety of Boolean algebras, and the variety of De Morgan algebras; the characterization of algebras with aforementioned hyperidentities; the functional representations of finitely-generated free algebras of various varieties of lattices and bilattices via generalized Boolean functions (De Morgan functions, quasi-De Morgan functions, super-Boolean functions, super-De Morgan functions, etc); the structural results for De Morgan algebras, Boole-De Morgan algebras, super-Boolean algebras, bilattices, among others.While problems of Boolean functions theory are well known, the present book offers alternative, more general problems, involving the concepts of De Morgan functions, quasi-De Morgan functions, super-Boolean functions, and super-De Morgan functions, etc. In contrast to other generalized Boolean functions discovered and investigated so far, these functions have clearly normal forms. This quality is of crucial importance for their applications in pure and applied mathematics, especially in discrete mathematics, quantum computation, quantum information theory, quantum logic, and the theory of quantum computers.
Pillars of Computer Science
For over half a century, Boris (Boaz) Trakhtenbrot has made seminal contributions to virtually all of the central areas of theoretical computer science. This festschrift volume readily illustrates the profound influence he has had on the field.