The Yoneda Perspective

In the words of Dan Piponi, it "is the hardest trivial thing in mathematics." The nLab catalogues it as "elementary but deep and central," while Emily Riehl nominates it as "arguably the most important result in category theory." Yet as Tom Leinster has pointed out, "many people find it quite bewildering."

And what are they referring to?

The Yoneda lemma.

"But," you ask, "what is the Yoneda lemma? And if it's just a lemma then - my gosh - what's the theorem?"

Read More →

Dear Autocorrect... (Sincerely, Mathematician)

Dear Autocorrect,


"Topos theory" is not the theory of tops. Or coats or shoes or hats or socks or gloves or slacks or scarves or shorts or skorts or--um, actually, what is topos theory?

“Zorn’s lemma” is not a result attributed to corn. Neither boiled corn, grilled corn, frozen corn, fresh corn, canned corn, popped corn, nor unicorns. Though I'm sure one of these is equivalent to the Axiom of Choice.

Read More →