TY - UNPB
T1 - On the Existence of Pushouts of Realizability Toposes
AU - Zoethout, J.
PY - 2020/11/17
Y1 - 2020/11/17
N2 - We consider two preorder-enriched categories of ordered PCAs: OPCA, where the arrows are functional morphisms, and PCA, where the arrows are applicative morphisms. We show that OPCA has small products and finite biproducts, and that PCA has finite coproducts, all in a suitable 2-categorical sense. On the other hand, PCA lacks all nontrivial binary products. We deduce from this that the pushout, over Set, of two nontrivial realizability toposes is never a realizability topos.
AB - We consider two preorder-enriched categories of ordered PCAs: OPCA, where the arrows are functional morphisms, and PCA, where the arrows are applicative morphisms. We show that OPCA has small products and finite biproducts, and that PCA has finite coproducts, all in a suitable 2-categorical sense. On the other hand, PCA lacks all nontrivial binary products. We deduce from this that the pushout, over Set, of two nontrivial realizability toposes is never a realizability topos.
U2 - 10.48550/arXiv.2011.08561
DO - 10.48550/arXiv.2011.08561
M3 - Preprint
SP - 1
EP - 19
BT - On the Existence of Pushouts of Realizability Toposes
PB - arXiv
ER -