Algebraic theories
Author(s)
Bibliographic Information
Algebraic theories
(Graduate texts in mathematics, v. 26)
Springer-Verlag, c1976
- :us
- :gw
Available at 72 libraries
  Aomori
  Iwate
  Miyagi
  Akita
  Yamagata
  Fukushima
  Ibaraki
  Tochigi
  Gunma
  Saitama
  Chiba
  Tokyo
  Kanagawa
  Niigata
  Toyama
  Ishikawa
  Fukui
  Yamanashi
  Nagano
  Gifu
  Shizuoka
  Aichi
  Mie
  Shiga
  Kyoto
  Osaka
  Hyogo
  Nara
  Wakayama
  Tottori
  Shimane
  Okayama
  Hiroshima
  Yamaguchi
  Tokushima
  Kagawa
  Ehime
  Kochi
  Fukuoka
  Saga
  Nagasaki
  Kumamoto
  Oita
  Miyazaki
  Kagoshima
  Okinawa
  Korea
  China
  Thailand
  United Kingdom
  Germany
  Switzerland
  France
  Belgium
  Netherlands
  Sweden
  Norway
  United States of America
Note
Bibliography: p. [341]-348
Includes index
Description and Table of Contents
Description
In the past decade, category theory has widened its scope and now inter- acts with many areas of mathematics. This book develops some of the interactions between universal algebra and category theory as well as some of the resulting applications. We begin with an exposition of equationally defineable classes from the point of view of "algebraic theories," but without the use of category theory. This serves to motivate the general treatment of algebraic theories in a category, which is the central concern of the book. (No category theory is presumed; rather, an independent treatment is provided by the second chap- ter.) Applications abound throughout the text and exercises and in the final chapter in which we pursue problems originating in topological dynamics and in automata theory. This book is a natural outgrowth of the ideas of a small group of mathe- maticians, many of whom were in residence at the Forschungsinstitut fur Mathematik of the Eidgenossische Technische Hochschule in Zurich, Switzerland during the academic year 1966-67. It was in this stimulating atmosphere that the author wrote his doctoral dissertation.
The "Zurich School," then, was Michael Barr, Jon Beck, John Gray, Bill Lawvere, Fred Linton, and Myles Tierney (who were there) and (at least) Harry Appelgate, Sammy Eilenberg, John Isbell, and Saunders Mac Lane (whose spiritual presence was tangible.) I am grateful to the National Science Foundation who provided support, under grants GJ 35759 and OCR 72-03733 A01, while I wrote this book.
Table of Contents
Preliminaries.- 1. Algebraic theories of Sets.- 1. Finitary Universal Algebra.- 2. The Clone of an Equational Presentation.- 3. Algebraic Theories.- 4. The Algebras of a Theory.- 5. Infinitary Theories.- 2. Trade Secrets of Category Theory.- 1. The Base Category.- 2. Free Objects.- 3. Objects with Structure.- 3. Algebraic Theories in a Category.- 1. Recognition Theorems.- 2. Theories as Monoids.- 3. Abstract Birkhoff Subcategories.- 4. Regular Categories.- 5. Fibre-Complete Algebra.- 6. Bialgebras.- 7. Colimits.- 4. Some Applications and Interactions.- 1. Minimal Algebras: Interactions with Topological Dynamics.- 2. Free Algebraic Theories: the Minimal Realization of Systems.- 3. Nondeterminism.
by "Nielsen BookData"