摘要：两个半格L和R之间的2-形式被定义为一个半格双同态L x R -> 2。这样的2-形式等价于Galois连接，我们研究它们及其与量化代数、非自反量化代数和量化代数模型之间的关系。作为示例，我们描述了对C *-代数的应用。
作者：Pedro Resende
论文ID：math/0211320
分类：Rings and Algebras
分类简称：math.RA
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中