对合m-半格中特殊元、理想及其范畴性质

摘要

给出对合m-半格的概念，得到对合m-半格的一系列重要性质。定义合m-半格中2种序关系?、■,讨论对合m-半格中对合运算*与特殊元及?、■的相互关系。利用特殊元构造子对合m-半格，研究对合m-半格中理想和滤子的结构，得到利用元素生成理想和滤子的具体形式，引入对合m-半格范畴的定义，探讨对合m-半格范畴中乘积的具体形式，得到对合m-半格范畴的极限结构，证明对合m-半格范畴是完备的。

关键词

对合m-半格 / 理想 / 滤子 / 范畴 / 极限