一句话：研究 Kock-Zöberlein 单子的中间范畴，刻画自由代数与加权（余）极限，并给出 filter 单子 Kleisli 范畴的幂等分裂完备化。
本文研究序丰富范畴上 Kock-Zöberlein 单子所诱导的、严格位于 Kleisli 范畴与 Eilenberg–Moore 范畴之间的重要范畴。作者首先按域理论精神刻画自由代数；其次在抽象层面以及代数格等具体域理论范畴中考察加权（余）极限的存在性；最后将结果应用于拓扑空间范畴上 filter 单子的 Kleisli 范畴，给出其幂等分裂完备化的描述。
In this paper we investigate important categories lying strictly between the Kleisli category and the Eilenberg-Moore category, for a Kock-Z\"oberlein monad on an order-enriched category. Firstly, we give a characterisation of free algebras in the spirit of domain theory. Secondly, we study the existence of weighted (co)limits, both on the abstract level and for specific categories of domain theory like the category of algebraic lattices. Finally, we apply these results to give a description of the idempotent split completion of the Kleisli category of the filter monad on the category of topological spaces.Comment: small corrections