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