摘要：在有效拓扑中，存在一个具有单调渐进内映射的链完全分配格，该内映射不具有不动点。因此，链完备格的Bourbaki-Witt定理和Tarski的不动点定理没有构造性（拓扑有效）证明。
下载： 定点.pdf
发布时间： 《理论计算机科学》第430卷，2012年4月27日，第43-50页。编程语义的数学基础（MFPS XXV）
非常漂亮的纸！
我认为《教派》第一段可能有错别字。顺便说一句：如果对角线映射X-->X^{nabla2}为常数。但如果在内部，这是从2到X的每个映射都是常量的条件，即在对角映射的图像中，则初始条件应该是对角映射为表晶的?
谢谢你发现了那个。应该说，对角线映射是同构，或者如您所建议的，是等价的满同构。
andrejbauer@mathstodon.xyz
