Skip to main content
2 of 24
added 50 characters in body

The contravariant powerset functor $P : C^{op} \rightarrow C$ is the canonical example of duality.

[1] Lawvere, Rosebrugh: "Sets for mathematics"