On the Existence of Pushouts of Realizability Toposes

Jetze Zoethout

We consider two preorder-enriched categories of ordered PCAs: $\mathsf{OPCA}$, where the arrows are functional morphisms, and $\mathsf{PCA}$, where the arrows are applicative morph…