一句话：证明若干范畴代数完备且余完备，有限集合函子的初始代数与终端余代数具有相同理想CPO与Cauchy完备化。
论文探讨范畴何时代数完备且余完备，即每个自函子都拥有初始代数和终端余代数，并给出了一系列满足该性质的范畴。针对所有有限（更一般地，所有预连续）集合函子，作者证明其初始代数与终端余代数上都带有规范偏序，并且这两者的理想 CPO 完备化相同；它们同时带有规范超度量，且 Cauchy 完备化也相同。该结果说明，在完备化层面，代数与余代数构造之间存在统一的结构对应。
A number of categories is presented that are algebraically complete and cocomplete, i.e., every endofunctor has an initial algebra and a terminal coalgebra. For all finitary (and, more generally, all precontinuous) set functors the initial algebra and terminal coalgebra are proved to carry a canonical partial order with the same ideal CPO-completion. And they also both carry a canonical ultrametric with the same Cauchy completion.