Here are 100 books that Category Theory for Programmers fans have personally recommended if you like
Category Theory for Programmers.
Book DNA is a community of 12,000+ authors and super readers sharing their favorite books with the world.
I hate nothing more than feeling uncertain about my views on an important topic. That’s why I cherish tools for thought that help me cut through the various confusions to which humans are prone. The sharpest tool we’ve got is modern symbolic logic, as it has been developed since the late 19th century. I’ve loved symbolic logic since I took my first logic class in college. I’ve been teaching Intro Logic for over twenty years at Princeton University, and I’ve published several papers and books that employ logic to try to gain clarity on philosophical issues.
This is a mathematics textbook unlike any other you have encountered before. Remarkably, there are no numbers—only structures, patterns, and arrows.
However, this book is not designed to teach you how to construct proofs. Instead, it offers a fascinating introduction to a new way of thinking mathematically.
In the last 60 years, the use of the notion of category has led to a remarkable unification and simplification of mathematics. Conceptual Mathematics introduces this tool for the learning, development, and use of mathematics, to beginning students and also to practising mathematical scientists. This book provides a skeleton key that makes explicit some concepts and procedures that are common to all branches of pure and applied mathematics. The treatment does not presuppose knowledge of specific fields, but rather develops, from basic definitions, such elementary categories as discrete dynamical systems and directed graphs; the fundamental ideas are then illuminated by…
It is April 1st, 2038. Day 60 of China's blockade of the rebel island of Taiwan.
The US government has agreed to provide Taiwan with a weapons system so advanced that it can disrupt the balance of power in the region. But what pilot would be crazy enough to run…
I hate nothing more than feeling uncertain about my views on an important topic. That’s why I cherish tools for thought that help me cut through the various confusions to which humans are prone. The sharpest tool we’ve got is modern symbolic logic, as it has been developed since the late 19th century. I’ve loved symbolic logic since I took my first logic class in college. I’ve been teaching Intro Logic for over twenty years at Princeton University, and I’ve published several papers and books that employ logic to try to gain clarity on philosophical issues.
A true gem in the realm of symbolic logic textbooks, this book stands out for its crystal-clear explanations and elegant English prose. It’s my top recommendation for anyone coming from a humanities background or returning to academia after a break.
Tomassi’s writing makes symbolic logic both accessible and engaging.
Bringing elementary logic out of the academic darkness into the light of day, Paul Tomassi makes logic fully accessible for anyone attempting to come to grips with the complexities of this challenging subject. Including student-friendly exercises, illustrations, summaries and a glossary of terms, Logic introduces and explains:
* The Theory of Validity * The Language of Propositional Logic * Proof-Theory for Propositional Logic * Formal Semantics for Propositional Logic including the Truth-Tree Method * The Language of Quantificational Logic including the Theory of Descriptions.
Logic is an ideal textbook for any logic student: perfect for revision, staying on top of…
I hate nothing more than feeling uncertain about my views on an important topic. That’s why I cherish tools for thought that help me cut through the various confusions to which humans are prone. The sharpest tool we’ve got is modern symbolic logic, as it has been developed since the late 19th century. I’ve loved symbolic logic since I took my first logic class in college. I’ve been teaching Intro Logic for over twenty years at Princeton University, and I’ve published several papers and books that employ logic to try to gain clarity on philosophical issues.
One of my teachers once described this as "the best book with the most misleading title." Despite the title, it’s not about physics—it’s about the symbolic reasoning that underpins theoretical physics.
If you’re looking for a fast-paced overview of the mathematical tools used in cutting-edge physics, this book is unparalleled.
Mathematical Physics is an introduction to such basic mathematical structures as groups, vector spaces, topological spaces, measure spaces, and Hilbert space. Geroch uses category theory to emphasize both the interrelationships among different structures and the unity of mathematics. Perhaps the most valuable feature of the book is the illuminating intuitive discussion of the "whys" of proofs and of axioms and definitions. This book, based on Geroch's University of Chicago course, will be especially helpful to those working in theoretical physics, including such areas as relativity, particle physics, and astrophysics.
A Duke with rigid opinions, a Lady whose beliefs conflict with his, a long disputed parcel of land, a conniving neighbour, a desperate collaboration, a failure of trust, a love found despite it all.
Alexander Cavendish, Duke of Ravensworth, returned from war to find that his father and brother had…
Philosophy’s core questions have always obsessed me: What is real? What makes life worth living? Can knowledge be made secure? In graduate school at the University of Virginia I was drawn to mathematically formalized approaches to such questions, especially those of C. S. Peirce and Alain Badiou. More recently, alongside colleagues at Endicott College’s Center for Diagrammatic and Computational Philosophy and GCAS College Dublin I have explored applications of diagrammatic logic, category theory, game theory, and homotopy type theory to such problems as abductive inference and artificial intelligence. Philosophers committed to the perennial questions have much to gain today from studying the new methods and results of contemporary mathematics.
From a strictly philosophical perspective, the emergence of category theory as a unifying paradigm rivaling set theory is probably the most important development in mathematics in the last half-century.
But for philosophers without a lot of mathematical background, learning even its rudiments can be daunting. Among many introductory texts (Lawvere and Schanuel, Awodey, Riehl, Spivak), Cheng’s book stands out as perhaps the friendliest and most accessible.
She does not forego rigor, but she isn’t afraid to put aside precise formalism when necessary for intuition and clearer understanding. Her book takes the reader from mathematical beginnings through category theory’s core constructions to glimpses of higher-order categories (one of Cheng’s areas of expertise).
A mathematically novice philosopher who wants to understand the basics of category theory couldn’t do better.
Mathematician and popular science author Eugenia Cheng is on a mission to show you that mathematics can be flexible, creative, and visual. This joyful journey through the world of abstract mathematics into category theory will demystify mathematical thought processes and help you develop your own thinking, with no formal mathematical background needed. The book brings abstract mathematical ideas down to earth using examples of social justice, current events, and everyday life - from privilege to COVID-19 to driving routes. The journey begins with the ideas and workings of abstract mathematics, after which you will gently climb toward more technical material,…
Lilli Botchis, PhD, is a psycho-spiritual counselor, educator, and vibrational medicine developer with four decades of experience in advanced body/soul wellness and the development of higher consciousness. Her expertise includes botanicals, gems, color, flower essences, bio-energy therapies, and holographic soul readings. Lilli is an alchemist, mystic, and translator of Nature’s language as it speaks to our soul. A brilliant researcher in the field of consciousness, she understands the interconnectedness of Nature and the human being and is known as an extraordinary emissary of the natural world. Lilli has been inducted into the Sovereign Order of St. John of Jerusalem, Knights Hospitaller. Many seek her out for her visionary insights and compassionate wisdom.
According to Michael Schneider, "The universe may be a mystery, but it's no secret." This book is a comprehensive yet simple visual guide to understanding the hidden meaning in the mathematical composition of all physical form. It is fun and fascinating to discover the sacred geometry visible throughout nature, in flowers, crystals, plants, shells, and the human body. You don't have to be a mathematician to see the beauty and symmetry of these patterns in every expression of God's creation, once revealed.
Discover how mathematical sequences abound in our natural world in this definitive exploration of the geography of the cosmos
You need not be a philosopher or a botanist, and certainly not a mathematician, to enjoy the bounty of the world around us. But is there some sort of order, a pattern, to the things that we see in the sky, on the ground, at the beach? In A Beginner's Guide to Constructing the Universe, Michael Schneider, an education writer and computer consultant, combines science, philosophy, art, and common sense to reaffirm what the ancients observed: that a consistent language of…
I'm a mathematician but an unusual one because I am interested in how mathematics is created and how it is learned. From an early age, I loved mathematics because of the beauty of its concepts and the precision of its organization and reasoning. When I started to do research I realized that things were not so simple. To create something new you had to suspend or go beyond your rational mind for a while. I realized that the learning and creating of math have non-logical features. This was my eureka moment. It turned the conventional wisdom (about what math is and how it is done) on its head.
Lots of people have a priori ideas about what mathematics is all about but Lakatos had the brilliant idea of looking at what actually happened. His book is all about one famous theorem: “for all regular polyhedra, V – E + F =2, where V is the number of vertices, E is the number of edges, and F is the number of faces. Think of a cube where V=8, E = 12, F = 6.
We tend to think that mathematics proceeds from a well-defined hypothesis to conclusion. But that is only the finishing step. Along the way the definitions keep changing as do the hypotheses and even the conclusion. Everything is moving! This is what makes doing mathematics so exciting!
Imre Lakatos's Proofs and Refutations is an enduring classic, which has never lost its relevance. Taking the form of a dialogue between a teacher and some students, the book considers various solutions to mathematical problems and, in the process, raises important questions about the nature of mathematical discovery and methodology. Lakatos shows that mathematics grows through a process of improvement by attempts at proofs and critiques of these attempts, and his work continues to inspire mathematicians and philosophers aspiring to develop a philosophy of mathematics that accounts for both the static and the dynamic complexity of mathematical practice. With a…
The Duke's Christmas Redemption
by
Arietta Richmond,
A Duke who has rejected love, a Lady who dreams of a love match, an arranged marriage, a house full of secrets, a most unneighborly neighbor, a plot to destroy reputations, an unexpected love that redeems it all.
Lady Charlotte Wyndham, given in an arranged marriage to a man she…
Philosophy’s core questions have always obsessed me: What is real? What makes life worth living? Can knowledge be made secure? In graduate school at the University of Virginia I was drawn to mathematically formalized approaches to such questions, especially those of C. S. Peirce and Alain Badiou. More recently, alongside colleagues at Endicott College’s Center for Diagrammatic and Computational Philosophy and GCAS College Dublin I have explored applications of diagrammatic logic, category theory, game theory, and homotopy type theory to such problems as abductive inference and artificial intelligence. Philosophers committed to the perennial questions have much to gain today from studying the new methods and results of contemporary mathematics.
The Univalent Foundations program in foundations of mathematics launched by Voevodsky and others in the past decade and a half has contributed to a promising new paradigm unifying computation, mathematics, logic, and proof theory.
Understanding the core elements of this research program, Homotopy Type Theory, is essential for contemporary philosophers who want to engage directly with current developments in mathematics and computer science.
Corfield is a well-established name in philosophy of mathematics, and this book is the best introduction to Homotopy Type Theory for philosophers.
Working within themes and problematics that will be familiar to philosophers with a basic background in logic, Corfield covers the elementary constructions of homotopy types from a logical point of view and provides plenty of provocative suggestions for how these formal tools might reinvigorate philosophical research today.
"The old logic put thought in fetters, while the new logic gives it wings."
For the past century, philosophers working in the tradition of Bertrand Russell - who promised to revolutionise philosophy by introducing the 'new logic' of Frege and Peano - have employed predicate logic as their formal language of choice. In this book, Dr David Corfield presents a comparable revolution with a newly emerging logic - modal homotopy type theory.
Homotopy type theory has recently been developed as a new foundational language for mathematics, with a strong philosophical pedigree. Modal Homotopy Type Theory: The Prospect of a New…
Philosophy’s core questions have always obsessed me: What is real? What makes life worth living? Can knowledge be made secure? In graduate school at the University of Virginia I was drawn to mathematically formalized approaches to such questions, especially those of C. S. Peirce and Alain Badiou. More recently, alongside colleagues at Endicott College’s Center for Diagrammatic and Computational Philosophy and GCAS College Dublin I have explored applications of diagrammatic logic, category theory, game theory, and homotopy type theory to such problems as abductive inference and artificial intelligence. Philosophers committed to the perennial questions have much to gain today from studying the new methods and results of contemporary mathematics.
Zalamea’s book is the perfect introduction and survey if you want to understand how developments in contemporary mathematics are relevant to current philosophy.
Zalamea’s own approach follows closely in the steps of Peirce, Lautman, and Grothendieck, merging pragmatism, dialectics, and sheaf theory, but he also engages the work of dozens of other key mathematicians and philosophers coming from different points of view, sometimes cursorily, always tantalizingly.
No philosopher can read this book without a quickened heartbeat and eager plans to clear shelf space for some of the many volumes of mathematics and philosophy of mathematics canvassed here by Zalamea.
A panoramic survey of the vast spectrum of modern and contemporary mathematics and the new philosophical possibilities they suggest.
A panoramic survey of the vast spectrum of modern and contemporary mathematics and the new philosophical possibilities they suggest, this book gives the inquisitive non-specialist an insight into the conceptual transformations and intellectual orientations of modern and contemporary mathematics.
The predominant analytic approach, with its focus on the formal, the elementary and the foundational, has effectively divorced philosophy from the real practice of mathematics and the profound conceptual shifts in the discipline over the last century. The first part discusses the…
As a kid I read every popular math book I could lay my hands on. When I became a mathematician I wanted to do more than teaching and research. I wanted to tell everyone what a wonderful and vital subject math is. I started writing popular math books, and soon was up to my neck in radio, TV, news media, magazines... For 12 years I wrote the mathematical Recreations Column for Scientific American. I was only the second mathematician in 170 years to deliver the Royal Institution Christmas Lectures, on TV with a live tiger. The University changed my job description: half research, half ‘outreach’. I had my dream job.
Mathematicians are constantly baffled by the public’s lack of awareness, not just of what mathematics does, but what it is. Today’s technological society functions only because of a vast range of mathematical concepts, techniques, and discoveries, which go far beyond elementary arithmetic and algebra. This was one of the first books to tackle these misunderstandings head on. It does so by examining not just the math and what it’s used for, but the social structures, the ‘conditions of civilization’ that have brought us to this curious state: utterly dependent on math, almost universally unaware that we are.
"A passionate plea against the use of formal mathematical reasoning as a method for solving mankind's problems. . . . An antidote to the Cartesian view that mathematical and scientific knowledge will suffice to solve the central problems of human existence." — The New York Times "These cogitations can and should be read by every literate person." — Science Books and Films "A warning against being seduced or intimidated by mathematics into accepting bad science, bad policies, and bad personal decisions." — Philadelphia Inquirer Rationalist philosopher and mathematician René Descartes visualized a world unified by mathematics, in which all intellectual…
This book follows the journey of a writer in search of wisdom as he narrates encounters with 12 distinguished American men over 80, including Paul Volcker, the former head of the Federal Reserve, and Denton Cooley, the world’s most famous heart surgeon.
In these and other intimate conversations, the book…
Philosophy’s core questions have always obsessed me: What is real? What makes life worth living? Can knowledge be made secure? In graduate school at the University of Virginia I was drawn to mathematically formalized approaches to such questions, especially those of C. S. Peirce and Alain Badiou. More recently, alongside colleagues at Endicott College’s Center for Diagrammatic and Computational Philosophy and GCAS College Dublin I have explored applications of diagrammatic logic, category theory, game theory, and homotopy type theory to such problems as abductive inference and artificial intelligence. Philosophers committed to the perennial questions have much to gain today from studying the new methods and results of contemporary mathematics.
Far too many math books are written in a style so terse and ungenerous that all but the most mathematically gifted readers hardly have a fair chance of understanding.
On the other hand, the discursive style of much philosophy of mathematics gains readability at the expense of formal rigor. Button and Walsh strike the perfect balance in this exceptionally rich introduction to model theory from a distinctively philosophical perspective.
There’s no getting around the fact that the mathematics of model theory is hard going. But this book works through all the relevant proofs in clear and detailed terms (no lazy “we leave this as an exercise for the reader”), and the authors are always careful to motivate each section with well-chosen philosophical concerns right up front.
Model theory is used in every theoretical branch of analytic philosophy: in philosophy of mathematics, in philosophy of science, in philosophy of language, in philosophical logic, and in metaphysics. But these wide-ranging uses of model theory have created a highly fragmented literature. On the one hand, many philosophically significant results are found only in mathematics textbooks: these are aimed squarely at mathematicians; they typically presuppose that the reader has a serious background in mathematics; and little clue is given as to their philosophical significance. On the other hand, the philosophical applications of these results are scattered across disconnected pockets of…
