CW—半群的构造

本文仿照McAlist三元组的构造方法利用强范畴逆半群,Brant同余和R关系构造一个CW—半群。