2019/12/18 by Samuele Maschio, Maschio, Samuele
Computer Science · Mathematics · #Advanced Algebra and Logic #Advanced Topology and Set Theory #Logic, Reasoning, and Knowledge
paper · pdf · doi:10.48550/arxiv.1912.08501
We present here an abstract notion of structure consisting of propositions and realizers (which we call PR-structures) giving rise to set based contravariant functors taking values in the category of sets endowed with binary relations. We will characterize those PR-structures giving rise to preorderal and posetal doctrines and we will study in particular the case of a PR-structure induced by a partial applicative structure.