On (co)products of partial combinatory algebras, with an application to pushouts of realizability toposes
Sign Up to like & getrecommendations! Published in 2021 at "Mathematical Structures in Computer Science"
DOI: 10.1017/s096012952100013x
Abstract: Abstract We consider two preorder-enriched categories of ordered partial combinatory algebras: OPCA, where the arrows are functional (i.e., projective) morphisms, and OPCA†, where the arrows are applicative morphisms. We show that OPCA has small products… read more here.
Keywords: realizability; realizability toposes; combinatory algebras; products partial ... See more keywords