R_0代数上的monadic算子

本文引入了monadic算子,定义和研究了monadic R_0代数。在此基础上定义了monadic滤子和monadic同余,探讨了monadic滤子和monadic同余之间的一一对应关系。在monadic R_0代数的全体monadic滤子集上引入了格运算和伴随对,证明了这样定义的monadic滤子格构成一个Heyting代数。通过例子说明了monadic R_0代数未必构成monadic剩余格。最后给出了monadic R_0代数形成monadic剩余格的一个条件。