作者:JiřAdámek无效的阿达梅克
给出了代数上完整的许多类别共完备,即每个内函子都有一个初始代数和一个终端煤焦。对于所有有限集(更一般地说,所有预连续集)函子初始代数和终端余代数被证明携带具有相同理想CPO完备的正则偏序。而且他们也都携带一个具有相同Cauchy补全的标准超音波。