Follow

If you want discover what is currently the best language of formal abstraction, check out this great intro to Applied Category Theory by David Spivak: youtu.be/cJ46AOEOc14

· · Web · 0 · 0 · 0
Sign in to participate in the conversation
mas.to

Hello! mas.to is a general-topic, mainly English-speaking instance. We're enthusiastic about Mastodon and aim to run a fast, up-to-date and fun Mastodon instance.