关于带的张量积

本文给出两个带在带子范畴中张量积的刻划,证明它是这两个带在半群范畴的张量积的极大带同态象,从而确认了它们的存在与唯一性,同时证明两个半格在半格子范畴的张量积实际上就是它们作为两个带在带子范畴中张量积关于某个半格同余的同余类半格,从这个角度,又可以证明半格在半格子范畴中张量积的存在与唯一性。