2 papers
cs.LO2026
A 2-adjunction between representations and preorder morphisms
Paul Brunet
The recently introduced model of representations has been defined and motivated somewhat ex-nihilo. In this document, I will show that representations are related to a more ''class…
cs.LO2025
Observation algebras: Heyting algebra over coherence spaces
Paul Brunet
In this report, we introduce observation algebras, constructed by considering the downclosed subsets of a coherence space ordered by reverse inclusion. These may be interpreted as…