代数代数的若干方面

在本文中，我们研究严格位于 Kleisli 范畴与 Eilenberg-Moore 范畴之间的重要范畴，针对序富集范畴上的 Kock-Zöberlein 单子。首先，我们给出自由代数的一种域论风格的刻画。其次，我们研究加权（协）极限的存在性，既在抽象层面也在具体域论范畴（如代数格范畴）上。最后，我们应用这些结果来描述拓扑空间范畴上滤子单子的 Kleisli 范畴的幂等分裂完备化。