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:

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

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