Demonic operators and monotype factors
Demonic operators and monotype factors
复制标题
恶魔运算符和单型因子
DOI：
10.1017/s096012950000030x
复制
发表时间：
1993
影响因子：
0.5
通讯作者：
J. V. D. Woude
中科院分区：
文献类型：
--
作者：
R. Backhouse;J. V. D. Woude
本文讨论了二元关系的恶魔组合的结合性及其通过恶魔选择的分布性的一个紧凑的、无点的证明。为了实现这一目标，提出了恶魔构成的定义，其中天使构成受到所谓的“单一因素”的限制。单型因子的特征是类似于二元关系的合成和分解之间的伽罗瓦联系。这种连接的识别被认为非常有利于期望的计算紧凑性。
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 definition 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. The identification of such a connection is argued to be highly conducive to the desired compactness of calculation.