An Invitation to Applied Category Theory: Seven Sketches in Compositionality (Brendan Fong, et al)

 
0.0 (0)
An Invitation to Applied Category Theory: Seven Sketches in Compositionality (Brendan Fong, et al)

Category Theory is unequaled in its capacity to arrange and layer abstractions and uncover commonalities across structures of all types. It is now proven to be a potent instrument in research, informatics, and industry, no longer the sole domain of pure mathematicians.

Applied category theory has the potential to be a major organizing force by promoting communication between groups and creating rigorous bridges between different realities.

This book provides a comprehensive introduction to applied category theory. Each chapter is organized around a particular theme that is driven by a practical application and is analyzed using category-theoretic techniques.

Electrical circuits are viewed as monoidal categories and operads, data migration as an adjoint functor, and collaborative design as enriched profunctors. This book is the perfect resource even for people without previous expertise in college-level mathematics because it introduces all-important category theory, from basic to complex, in an approachable manner with numerous examples and exercises.

Ebook Details

About the Authors
  • Brendan Fong is a postdoctoral associate in the Department of Mathematics at MIT.
  • David I. Spivak is a research scientist in the Department of Mathematics at MIT.
Published
Published Date / Year
(2019); eBook (Arxiv.org, MIT OpenCourse)
License(s)
arXiv License, MIT OpenCourse Term
Hardcover
348 pages
eBook Format
PDF
Language
English
ISBN-10
1108711820
ISBN-13
978-1108711821

Similar Programming & Computer Books

Tracer des graphes avec Metapost - Drawing graphs with Metapost (John D. Hobby)
In this free programming manual, a graph-drawing package that has been added to the Metapost graphics language is described. A robust macro tool is available in METAPOST to implement...
Strategic Foundations of General Equilibrium: Dynamic Matching and Bargaining Games (Douglas Gale)
Since Adam Smith's day, the theory of competition has played a significant role in economic study. This book, published by one of the most eminent modern economic theorists, details...
The Pure Logic Of Choice (Richard D. Fuerle)
A broad theory of economics based on free will is presented in this free programming book. The assumption that humans have free will and the ability to alter physical...
Portfolio Theory and Financial Analyses (Robert Alan Hill)
Whether they involve calculating the return on a portfolio, analyzing portfolio risk, or assessing the effectiveness of the portfolio management process, this free programming book links each of the...
Price Theory: An Intermediate Text (David D. Friedman)
In order to help the reader grasp the economic way of thinking, the author first gives verbal, intuitive explanations of the topics before using graphs and/or calculus to illustrate...
Mathematical Models in Portfolio Analysis (Farida Kachapova)
This free programming book presents the mathematical theory of portfolio modeling in financial mathematics as a coherent whole, with justifications for each step. ...
Game Programming in Haskell (Elise Huard, et al)
Predictably, Game Programming in Haskell provides an introduction to creating games in the language.  
Semantics in Action - Applications and Scenarios (Muhammad Tanvir Afzal)
The current book is an amalgamation of many excellent concepts, applications, case studies, and useful systems in the Semantics field. There are two separate volumes to the book. The...
Computational and Numerical Simulations (Jan Awrejcewicz)
The edited book Computational and Numerical Simulations has 20 chapters. The book discusses contemporary work on numerical simulations of engineering and physical systems. ...
Curves and Surfaces in Geometric Modeling: Theory and Algorithms (Jean Gallier)
Whether you are a graduate student, scientist, or practitioner, this book provides you with a theoretically unified grasp of polynomial curves and surfaces as well as a practical implementation...

Others Programming Books by Brendan Fong, David I. Spivak

Category Theory for the Sciences (David I. Spivak)
In order to unite and synthesize many areas of mathematics, category theory was developed in the 1940s, and it has proven to be extremely effective at fostering effective communication...

Others Programming Books by Cambridge University Press

Strategic Foundations of General Equilibrium: Dynamic Matching and Bargaining Games (Douglas Gale)
Since Adam Smith's day, the theory of competition has played a significant role in economic study. This book, published by one of the most eminent modern economic theorists, details...
Computational Complexity: A Conceptual Perspective (Oded Goldreich)
The study of the innate complexity of computer jobs is introduced conceptually in this free programming book. It is meant to be used as a textbook or for independent...
Algorithmic Number Theory: Lattices, Number Fields, Curves and Cryptography (Joe Buhler, et al)
One of the oldest and most fascinating branches of mathematics is number theory. Number theory has always involved computation, but this role has grown significantly over the past 20...
Combinatorial and Computational Geometry (Jacob E. Goodman, et al)
This volume, which consists of 32 papers on a variety of subjects of current research interest, is the result of the fusion of discrete and computational geometry. ...
Applied Combinatorics on Words (M. Lothaire)
This volume's goal is to provide a comprehensive analysis of some of the main areas in which combinatorics is applied. Core algorithms for text processing, natural language processing, audio...
Numerical Recipes in C: The Art of Scientific Computing, Second Edition (William H. Press, et al)
Numerical Recipes is a comprehensive handbook and reference on scientific computing and the result of a special partnership between four top researchers in academia and business. ...
Algebraic Combinatorics on Words (M. Lothaire)
Word-based combinatorics has independently developed within a variety of fields of mathematics, including number theory, group theory, and probability. It also commonly shows up in issues pertaining to theoretical...
Algebraic Topology (Allen Hatcher)
Algebraic topology is one of the three or four foundational first-year graduate mathematics courses at the majority of big universities.  
Model Theory, Algebra, and Geometry (Deirdre Haskell, et al)
Model theory is a subfield of mathematical logic that has found use in a variety of algebraic and geometric contexts.  
Classical Algebraic Geometry: A Modern View (Igor V. Dolgachev)
The robust general machinery created in the later half of the 20th century has been extremely helpful for algebraic geometry.  
Algorithms for Modular Elliptic Curves (J. E. Cremona)
Elliptic curves play a crucial and expanding role in computational number theory, where they are used extensively in processes like factorization, primality testing, and cryptography.
Random Graphs and Complex Networks (Remco van der Hofstad)
In this thorough introduction to network science, Random Graphs are used as representations of networks in the actual world. Such networks have unique empirical characteristics, and a plethora of...
Mathematical Illustrations: A Manual of Geometry and PostScript (Bill Casselman)
Anyone with a rudimentary understanding of coordinate geometry can benefit from this hands-on introduction to the methods required to create beautiful mathematical graphics.
Elementary Probability for Applications (Rick Durrett)
This engaging and accessible introduction to probability theory focuses on the findings that have the greatest practical value, such as Markov chains and combinatorial probability.
Advanced Data Analysis from an Elementary Point of View (Cosma Rohilla Shalizi)
For advanced undergraduate students who have already taken classes in probability, mathematical statistics, and linear regression, this textbook on data analysis methods is designed.
Categorical Homotopy Theory (Emily Riehl)
This book develops categorical abstract homotopy theory with a strong emphasis on instances.
Information Theory, Inference and Learning Algorithms (David J. C. MacKay)
Inference and information theory, which are frequently taught separately, are combined in this engaging textbook.
Probability on Trees and Networks (Russell Lyons, et al.)
This book focuses on a few discrete probability topics that are now under active development on infinite graphs. Naturally, analyses of finite graphs are also conducted, although typically with...
Engineering Design Optimization (Joaquim R. Martins, et al)
Humans have a knack for optimization. People are always looking for ways to make their lives and the systems around them better.
Analyzing Linguistic Data: A Practical Introduction to Statistics using R (R. H. Baayen)
For linguists and psycholinguists, the ability to perform the statistical analysis is crucial since it enables them to comprehend the quantitative structure of their data. An easy-to-understand introduction to...

User reviews

There are no user reviews for this listing.
Ratings
Rate this Book
Comments