R0代数上的monadic算子
本文引入了monadic算子,定义和研究了monadic R0代数.在此基础上定义了monadic滤子和monadic同余,探讨了monadic滤子和monadic同余之间的一一对应关系.在monadic R0代数的全体monadic滤子集上引入了格运算和伴随对,证明了这样定义的monadic滤子格构成一个Heyting代数.通过例子说明了monadic R0代数未必构成monadic剩余格.最后给出了monadic R0代数形成monadic剩余格的一个条件.
R0代数、monadic算子、monadic R0代数、monadic滤子、monadic同余
30
O178(数学分析)
国家自然科学基金11571281
2016-07-29(万方平台首次上网日期,不代表论文的发表时间)
48-57