Author: David I. Spivak
Publisher: MIT Press
Release Date: 2014-10-17
Category theory was invented in the 1940s to unify and synthesize different areas in mathematics, and it has proven remarkably successful in enabling powerful communication between disparate fields and subfields within mathematics. This book shows that category theory can be useful outside of mathematics as a rigorous, flexible, and coherent modeling language throughout the sciences. Information is inherently dynamic; the same ideas can be organized and reorganized in countless ways, and the ability to translate between such organizational structures is becoming increasingly important in the sciences. Category theory offers a unifying framework for information modeling that can facilitate the translation of knowledge between disciplines. Written in an engaging and straightforward style, and assuming little background in mathematics, the book is rigorous but accessible to non-mathematicians. Using databases as an entry to category theory, it begins with sets and functions, then introduces the reader to notions that are fundamental in mathematics: monoids, groups, orders, and graphs -- categories in disguise. After explaining the "big three" concepts of category theory -- categories, functors, and natural transformations -- the book covers other topics, including limits, colimits, functor categories, sheaves, monads, and operads. The book explains category theory by examples and exercises rather than focusing on theorems and proofs. It includes more than 300 exercises, with solutions. Category Theory for the Sciences is intended to create a bridge between the vast array of mathematical concepts used by mathematicians and the models and frameworks of such scientific disciplines as computation, neuroscience, and physics.
Author: Benjamin C. Pierce
Publisher: MIT Press
Release Date: 1991
Basic Category Theory for Computer Scientists provides a straightforward presentationof the basic constructions and terminology of category theory, including limits, functors, naturaltransformations, adjoints, and cartesian closed categories.
Author: Harold Simmons
Publisher: Cambridge University Press
Release Date: 2011-09-22
Category theory provides a general conceptual framework that has proved fruitful in subjects as diverse as geometry, topology, theoretical computer science and foundational mathematics. Here is a friendly, easy-to-read textbook that explains the fundamentals at a level suitable for newcomers to the subject. Beginning postgraduate mathematicians will find this book an excellent introduction to all of the basics of category theory. It gives the basic definitions; goes through the various associated gadgetry, such as functors, natural transformations, limits and colimits; and then explains adjunctions. The material is slowly developed using many examples and illustrations to illuminate the concepts explained. Over 200 exercises, with solutions available online, help the reader to access the subject and make the book ideal for self-study. It can also be used as a recommended text for a taught introductory course.
Author: Steve Awodey
Publisher: Oxford University Press
Release Date: 2010-06-17
A comprehensive reference to category theory for students and researchers in mathematics, computer science, logic, cognitive science, linguistics, and philosophy. Useful for self-study and as a course text, the book includes all basic definitions and theorems (with full proofs), as well as numerous examples and exercises.
Author: Saunders Mac Lane
Publisher: Springer Science & Business Media
Release Date: 2013-04-17
An array of general ideas useful in a wide variety of fields. Starting from the foundations, this book illuminates the concepts of category, functor, natural transformation, and duality. It then turns to adjoint functors, which provide a description of universal constructions, an analysis of the representations of functors by sets of morphisms, and a means of manipulating direct and inverse limits. These categorical concepts are extensively illustrated in the remaining chapters, which include many applications of the basic existence theorem for adjoint functors. The categories of algebraic systems are constructed from certain adjoint-like data and characterised by Beck's theorem. After considering a variety of applications, the book continues with the construction and exploitation of Kan extensions. This second edition includes a number of revisions and additions, including new chapters on topics of active interest: symmetric monoidal categories and braided monoidal categories, and the coherence theorems for them, as well as 2-categories and the higher dimensional categories which have recently come into prominence.
Concepts embody our knowledge of the kinds of things there are in the world. Tying our past experiences to our present interactions with the environment, they enable us to recognize and understand new objects and events. Concepts are also relevant to understanding domains such as social situations, personality types, and even artistic styles. Yet like other phenomenologically simple cognitive processes such as walking or understanding speech, concept formation and use are maddeningly complex.Research since the 1970s and the decline of the "classical view" of concepts have greatly illuminated the psychology of concepts. But persistent theoretical disputes have sometimes obscured this progress. The Big Book of Concepts goes beyond those disputes to reveal the advances that have been made, focusing on the major empirical discoveries. By reviewing and evaluating research on diverse topics such as category learning, word meaning, conceptual development in infants and children, and the basic level of categorization, the book develops a much broader range of criteria than is usual for evaluating theories of concepts.
Author: Herbert Alexander Simon
Publisher: Mit Press
Release Date: 1970
The Sciences of the Artificial reveals the design of an intellectual structure aimed at accommodating those empirical phenomena that are "artificial" rather than "natural." The goal is to show how empirical sciences of artificial systems are possible, even in the face of the contingent and teleological character of the phenomena, their attributes of choice and purpose. Developing in some detail two specific examples—human psychology and engineering design—Professor Simon describes the shape of these sciences as they are emerging from developments of the past 25 years. "Artificial" is used here in a very specific sense: to denote systems that have a given form and behavior only because they adapt (or are adapted), in reference to goals or purposes, to their environment. Thus, both man-made artifacts and man himself, in terms of his behavior, are artificial. Simon characterizes an artificial system as an interface between two environments—inner and outer. These environments lie in the province of "natural science," but the interface, linking them, is the realm of "artificial science." When an artificial system adapts successfully, its behavior shows mostly the shape of the outer environment and reveals little of the structure or mechanisms of the inner. The inner environment becomes significant for behavior only when a system reaches the limits of its rationality and adaptability, and contingency degenerates into necessity.
Mbius bagels, Euclid's flourless chocolate cake and apple pi - this is maths, but not as you know it. In How to Bake Pi, mathematical crusader and star baker Eugenia Cheng has rustled up a batch of delicious culinary insights into everything from simple numeracy to category theory ('the mathematics of mathematics'), via Fermat, Poincar and Riemann. Maths is much more than simultaneous equations and pr2 : it is an incredibly powerful tool for thinking about the world around us. And once you learn how to think mathematically, you'll never think about anything - cakes, custard, bagels or doughnuts; not to mention fruit crumble, kitchen clutter and Yorkshire puddings - the same way again. Stuffed with moreish puzzles and topped with a generous dusting of wit and charm, How to Bake Pi is a foolproof recipe for a mathematical feast. *Previously published under the title Cakes, Custard & Category Theory*
Author: John L. Rhodes
Publisher: World Scientific
Release Date: 2010
This book was originally written in 1969 by Berkeley mathematician John Rhodes. It is the founding work in what is now called algebraic engineering, an emerging field created by using the unifying scheme of finite state machine models and their complexity to tie together many fields: finite group theory, semigroup theory, automata and sequential machine theory, finite phase space physics, metabolic and evolutionary biology, epistemology, mathematical theory of psychoanalysis, philosophy, and game theory. The author thus introduced a completely original algebraic approach to complexity and the understanding of finite systems. The unpublished manuscript, often referred to as "The Wild Book," became an underground classic, continually requested in manuscript form, and read by many leading researchers in mathematics, complex systems, artificial intelligence, and systems biology. Yet it has never been available in print until now. This first published edition has been edited and updated by Chrystopher Nehaniv for the 21st century. Its novel and rigorous development of the mathematical theory of complexity via algebraic automata theory reveals deep and unexpected connections between algebra (semigroups) and areas of science and engineering. Co-founded by John Rhodes and Kenneth Krohn in 1962, algebraic automata theory has grown into a vibrant area of research, including the complexity of automata, and semigroups and machines from an algebraic viewpoint, and which also touches on infinite groups, and other areas of algebra. This book sets the stage for the application of algebraic automata theory to areas outside mathematics. The material and references have been brought up to date bythe editor as much as possible, yet the book retains its distinct character and the bold yet rigorous style of the author. Included are treatments of topics such as models of time as algebra via semigroup theory; evolution-complexity relations applicable to both ontogeny and evolution; an approach to classification of biological reactions and pathways; the relationships among coordinate systems, symmetry, and conservation principles in physics; discussion of "punctuated equilibrium" (prior to Stephen Jay Gould); games; and applications to psychology, psychoanalysis, epistemology, and the purpose of life. The approach and contents will be of interest to a variety of researchers and students in algebra as well as to the diverse, growing areas of applications of algebra in science and engineering. Moreover, many parts of the book will be intelligible to non-mathematicians, including students and experts from diverse backgrounds.