logoalt Hacker News

Category Theory Illustrated – Types

38 pointsby boris_mtoday at 9:49 AM1 commentview on HN

Comments

chromacitytoday at 3:35 PM

It's a great introduction, but I find the premise a bit funny. It starts with Russell's paradox, insinuates that solving it within set theory makes set theory complex (it doesn't, you basically just restrict what can be used to build a set), and then introduces a system that is fundamentally more complex.