The Tinctures of Formalism

All dividing lines will themselves be divided—all formalism, deformed.

Existence cannot be contained.

And the more we try to pin down the essence of things, the more we will see them squirm and squeeze out from under our footholds.

Reality will always be more rigorous than any conceivable formalism.

That’s why there’s always that one little droplet you can’t quite get out of the mix, no matter how hard you try.

Be mindful: Sometimes that’s the human part.

There’s this gap between Category Theory, which is pure, a pure subject, and programming, which is an applied subject. Pure Category Theory is almost never useful… in anything.

Unless you, at the very end, let yourself break it.

David Spivak

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

Create a website or blog at

Up ↑

%d bloggers like this: