严格单子拓扑 II：闭包空间的下降
Strict monadic topology II: descent for closure spaces
AI总结：
本文开创闭包空间的下降理论，主要贡献是刻画了下降态射，并证明了有限闭包空间范畴中下降态射均为有效下降态射，且满射闭映射与满射开映射均为有效下降态射。
摘要：
所谓闭包空间，是指一个对 $(A,\mathcal{C})$，其中 $A$ 是一个集合，$\mathcal{C}$ 是 $A$ 的子集构成的集合且对任意交集封闭。本文旨在开创闭包空间的下降理论，主要结果为： 刻画闭包空间的下降态射； 在有限闭包空间范畴中，每个下降态射都是有效下降态射； 闭包空间的每个满射闭映射和每个满射开映射都是有效下降态射。
英文摘要：
By a closure space we will mean a pair $(A,\mathcal{C})$, in which $A$ is a set and $\mathcal{C}$ a set of subsets of $A$ closed under arbitrary intersections. The purpose of this paper is to initiate a development of descent theory of closure spaces, with our main results being: (a) characterization of descent morphisms of closure spaces; (b) in the category of finite closure spaces every descent morphism is an effective descent morphism; (c) every surjective closed map and every surjective open map of closure spaces is an effective descent morphism.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
