preprint: Ordered PCA's and Realizability Toposes