Demonic operators and monotype factors

Roland Backhouse, Jaap van der Woude
1993 Mathematical Structures in Computer Science  
This paper tackles the problem of constructing a compact, point-free proof of the associativity of demonic composition of binary relations and its distributivity through demonic choice. In order to achieve this goal a de nition of demonic composition is proposed in which angelic composition is restricted by means of a so-called \monotype factor". Monotype factors are characterised by a Galois connection similar to the Galois connection between composition and factorisation of binary relations.
more » ... he identi cation of such a connection is argued to be highly conducive to the desired compactness of calculation.
doi:10.1017/s096012950000030x fatcat:fatpcbqnwbbhfal5okcosqsdku