Follow

Something about mathematics which has always fascinated me is how neatly everything fits together. I've always been delighted by seeing how seemingly unrelated concepts coincide and intertwine in a web of ideas. I think this is one of the reasons I'm finding learning category theory so satisfying. It's a study of the patterns that keep popping up throughout mathematics. I think that's neat.

Sign in to participate in the conversation
types.pl

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.