Category Theory Illustrated โ€“ Types

(abuseofnotation.github.io)

67 points | by boris_m 10 hours ago ago

1 comments

  • chromacity 5 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.