I love drawing the funny diagrams. I've decided to be a category theorist now even if all my current understanding is informal


I will quickly change my mind when someone says anything I don't understand

Sign in to participate in the conversation

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