Category Theory Illustrated – Types (abuseofnotation.github.io)
63 points by boris_m 10 hours ago
chromacity 4 hours ago
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.