Understanding Yoneda
(bartoszmilewski.com)
You don’t need to know anything about category theory to use Haskell as a programming language. But if you want to understand the theory behind Haskell or contribute to its development, some familiarity with category theory is a prerequisite.
You don’t need to know anything about category theory to use Haskell as a programming language. But if you want to understand the theory behind Haskell or contribute to its development, some familiarity with category theory is a prerequisite.
Catgrad: A categorical deep learning compiler
(catgrad.com)
catgrad is a deep learning framework using category theory to statically compile models into their forward and backwards passes.
catgrad is a deep learning framework using category theory to statically compile models into their forward and backwards passes.
Category Theory Illustrated
(abuseofnotation.github.io)
Discover the beauty of mathematics through the lens of category theory with this unique exploration that goes beyond problem-solving. In this book, you’ll find a refreshing perspective on math as an art form, a language, and a way of thinking that unifies diverse fields of knowledge. Delve into the fascinating world of sets, groups, types, and partial orders, and explore the deep connections between these concepts.
Discover the beauty of mathematics through the lens of category theory with this unique exploration that goes beyond problem-solving. In this book, you’ll find a refreshing perspective on math as an art form, a language, and a way of thinking that unifies diverse fields of knowledge. Delve into the fascinating world of sets, groups, types, and partial orders, and explore the deep connections between these concepts.
Category Theory in Programming
(racket-lang.org)
Welcome to Category Theory in Programming, a journey into the conceptual world where mathematics meets software development.
Welcome to Category Theory in Programming, a journey into the conceptual world where mathematics meets software development.
Getting Started with Category Theory
(ryanbrewer.dev)
Category theory is a fascinating and unreasonably powerful tool for thinking about computation, transformation, and relationships between things in the world.
Category theory is a fascinating and unreasonably powerful tool for thinking about computation, transformation, and relationships between things in the world.
Category Theory Illustrated: Logic (2021)
(abuseofnotation.github.io)
Logic is the science of the possible. As such, it is at the root of all other sciences, all of which are sciences of the actual, i.e. that which really exists.
Logic is the science of the possible. As such, it is at the root of all other sciences, all of which are sciences of the actual, i.e. that which really exists.