Hacker News with Generative AI: Category Theory

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.
Programming Languages, Category Theory, Haskell
5 points by thunderbong 4 days ago | 0 comments
"Homotopical macrocosms for higher category theory" identified as woke DEI grant (mathstodon.xyz)
Mathematics, Category Theory, Academia, Social Justice
108 points by nabla9 7 days ago | 146 comments
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.
Deep Learning, Category Theory, Computer Science, Software
77 points by remexre 18 days ago | 16 comments
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.
Mathematics, Category Theory, Education, Books
81 points by zdw 54 days ago | 3 comments
Pragmatic Category Theory Part 1: Semigroup Intro (chshersh.com)
Category Theory, Programming, Mathematics
10 points by UncleOxidant 63 days ago | 0 comments
Universal Construction – Category Theory and Why We Care [video] (youtube.com)
Category Theory, Computer Science, Mathematics, Software Development, Video
6 points by marvinborner 80 days ago | 0 comments
Category Theory in Programming (racket-lang.org)
Welcome to Category Theory in Programming, a journey into the conceptual world where mathematics meets software development.
Programming, Category Theory, Mathematics
161 points by todsacerdoti 82 days ago | 72 comments
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, Programming, Mathematics
51 points by hoping1 84 days ago | 32 comments
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.
Category Theory, Mathematics, Logic
252 points by boris_m 119 days ago | 83 comments
From Sets to Categories (2023) (abuseofnotation.github.io)
Mathematics, Category Theory, Set Theory
68 points by boris_m 193 days ago | 47 comments
Category theory using string diagrams (2014) (arxiv.org)
Category Theory, Mathematics, String Diagrams
79 points by soloist11 238 days ago | 24 comments
The Clowder Project: an online resource for category theory and mathematics (clowderproject.com)
Mathematics, Category Theory, Online Resources
32 points by mathgenius 291 days ago | 1 comments