Two intertwined and dual factorisation systems on coherence spaces
Keywords: Coherence spaces, intertwined factorisation systems
Abstract: In this paper, we establish the existence of two intertwined and dual factorisation systems in the category of coherence spaces. The construction reveals hidden structures of the category of coherence spaces and explicates in what sense it is related but different from the category of sets and relations.
Submission Number: 70
Loading