Hacker News with Generative AI: Category Theory

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.
Pragmatic Category Theory Part 1: Semigroup Intro (chshersh.com)
Universal Construction – Category Theory and Why We Care [video] (youtube.com)
Category Theory in Programming (racket-lang.org)
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 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.
From Sets to Categories (2023) (abuseofnotation.github.io)
Category theory using string diagrams (2014) (arxiv.org)
The Clowder Project: an online resource for category theory and mathematics (clowderproject.com)