Algebraic geometry: CommRing behaves a lot like Set<sup>op</sup>.