Notes of Omission

“It’s obvious from the above how…”

“From this, it follows immediately that…”

“Clearly, this is an example of…”

The inferences made in statements like these are almost never obvious, immediate, or clear. For the nomadic layperson, they become trail markers that tell you exactly where the experts are taking shortcuts. And they take many.

I guess they expect us to catch up to them later 😅

We said that the identities, symmetries, and composition rule in FinSet “are obvious.” In math lingo, this just means “we trust that the reader can figure them out, if she spends the time tracking down the definitions and fitting
them together.”

An Invitation to Applied Category Theory, Seven Sketches in Compositionality. Brendan Fong, David I. Spivak. (July 2019)

Somehow it’s obvious that…” – David Spivak

Gotta love watching an expert stumble momentarily while trying to figure out just why something is supposedly obvious.

I mean, if you gotta try that hard… 😂

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: