On posetal and complete partial applicative structures

Samuele Maschio

Every partial applicative structure gives rise to an indexed binary relation, that is a contravariant functor from the category of sets to the category of sets endowed with binary…