一类满足可补性质的双重Stone代数

该文构造了一个从布尔代数范畴到满足可补性质的双重 Stone代数范畴的函子 。