An Invitation to Applied Category Theory
Title | An Invitation to Applied Category Theory PDF eBook |
Author | Brendan Fong |
Publisher | Cambridge University Press |
Total Pages | 351 |
Release | 2019-07-18 |
Genre | Computers |
ISBN | 1108482295 |
Category theory reveals commonalities between structures of all sorts. This book shows its potential in science, engineering, and beyond.
Category Theory for the Sciences
Title | Category Theory for the Sciences PDF eBook |
Author | David I. Spivak |
Publisher | MIT Press |
Total Pages | 495 |
Release | 2014-10-17 |
Genre | Mathematics |
ISBN | 0262320533 |
An introduction to category theory as a rigorous, flexible, and coherent modeling language that can be used across the sciences. 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.
Category Theory in Context
Title | Category Theory in Context PDF eBook |
Author | Emily Riehl |
Publisher | Courier Dover Publications |
Total Pages | 272 |
Release | 2017-03-09 |
Genre | Mathematics |
ISBN | 0486820807 |
Introduction to concepts of category theory — categories, functors, natural transformations, the Yoneda lemma, limits and colimits, adjunctions, monads — revisits a broad range of mathematical examples from the categorical perspective. 2016 edition.
Basic Category Theory
Title | Basic Category Theory PDF eBook |
Author | Tom Leinster |
Publisher | Cambridge University Press |
Total Pages | 193 |
Release | 2014-07-24 |
Genre | Mathematics |
ISBN | 1107044243 |
A short introduction ideal for students learning category theory for the first time.
Conceptual Mathematics
Title | Conceptual Mathematics PDF eBook |
Author | F. William Lawvere |
Publisher | Cambridge University Press |
Total Pages | 409 |
Release | 2009-07-30 |
Genre | Mathematics |
ISBN | 0521894859 |
This truly elementary book on categories introduces retracts, graphs, and adjoints to students and scientists.
Category Theory for Computing Science
Title | Category Theory for Computing Science PDF eBook |
Author | Michael Barr |
Publisher | |
Total Pages | 352 |
Release | 1995 |
Genre | Computers |
ISBN |
A wide coverage of topics in category theory and computer science is developed in this text, including introductory treatments of cartesian closed categories, sketches and elementary categorical model theory, and triples. Over 300 exercises are included.
Mathematics and Computation
Title | Mathematics and Computation PDF eBook |
Author | Avi Wigderson |
Publisher | Princeton University Press |
Total Pages | 434 |
Release | 2019-10-29 |
Genre | Computers |
ISBN | 0691189137 |
An introduction to computational complexity theory, its connections and interactions with mathematics, and its central role in the natural and social sciences, technology, and philosophy Mathematics and Computation provides a broad, conceptual overview of computational complexity theory—the mathematical study of efficient computation. With important practical applications to computer science and industry, computational complexity theory has evolved into a highly interdisciplinary field, with strong links to most mathematical areas and to a growing number of scientific endeavors. Avi Wigderson takes a sweeping survey of complexity theory, emphasizing the field’s insights and challenges. He explains the ideas and motivations leading to key models, notions, and results. In particular, he looks at algorithms and complexity, computations and proofs, randomness and interaction, quantum and arithmetic computation, and cryptography and learning, all as parts of a cohesive whole with numerous cross-influences. Wigderson illustrates the immense breadth of the field, its beauty and richness, and its diverse and growing interactions with other areas of mathematics. He ends with a comprehensive look at the theory of computation, its methodology and aspirations, and the unique and fundamental ways in which it has shaped and will further shape science, technology, and society. For further reading, an extensive bibliography is provided for all topics covered. Mathematics and Computation is useful for undergraduate and graduate students in mathematics, computer science, and related fields, as well as researchers and teachers in these fields. Many parts require little background, and serve as an invitation to newcomers seeking an introduction to the theory of computation. Comprehensive coverage of computational complexity theory, and beyond High-level, intuitive exposition, which brings conceptual clarity to this central and dynamic scientific discipline Historical accounts of the evolution and motivations of central concepts and models A broad view of the theory of computation's influence on science, technology, and society Extensive bibliography