Endomorphisms of complete Heyting algebras

被引:0
|
作者
Pultr, A
Sichler, J
机构
[1] MFF KU,CR-11800 PRAGUE 1,CZECH REPUBLIC
[2] UNIV MANITOBA,WINNIPEG,MB R3T 2N2,CANADA
关键词
D O I
10.1007/BF02676617
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
Each monoid can be represented as the endomorphism monoid of a complete Heyting algebra. More generally, the category of sober T-1-spaces and their open continuous maps, and consequently the category of complete Heyting algebras are universal. On the other hand, it is often impossible to represent monoids using more special (Hausdorff) complete Heyting algebras: for instance, each finite commutative endomorphism monoid of such a Heyting algebra is weakly idempotent.
引用
收藏
页码:364 / 374
页数:11
相关论文
共 50 条