Isbell Duality (2022)

View recent discussion. Abstract: Mathematicians love dualities. After a brief explanation of dualities, with examples, we turn to one of the purest and most beautiful: Isbell duality. For any category $\mathsf{C}$, this gives an adjunction between the category of presheaves on $\mathsf{C}$, namely the functor category $[\mathsf{C}^{\text{op}}, \mathsf{Set}]$, and the opposite of the category of copresheaves on $\mathsf{C}$, namely $[\mathsf{C}, \mathsf{Set}]^{\text{op}}$.

More from alphaXiv

A Milestone in Formalization: The Sphere Packing Problem in Dimension 8

alphaXiv·6

Alex Zanardi, auto racing champion-turned-Paralympian, dead at 59 after life-altering accidents

New York Post·1

Protester Blasts Trump In Washington DC Bridge Stunt: ‘Illegal’

Newsweek·1

Show HN: Mljar Studio – local AI data analyst that saves analysis as notebooks

Hacker News: Front Page·3

Disneyland Now Uses Face Recognition on Visitors

WIRED·4

8 Best Travel Adapters (2026), Tested and Reviewed

WIRED·4