部分有序集合的代数对偶
摘要：任意偏序集$P$的对偶集$P^*$是构建为所有单调映射$P \to 2$的集合，其中$2=\{0,1\}$并且$0<1$。证明了映射集$P^*$是关于逐点偏序的一个完备格。第二个对偶集$P^{**}$是构建为所有保持通用上界的完备格同态$P^* \to P$的集合。然后证明了偏序集$P$和$P^{**}$是同构的。
作者：Roman R. Zapatrin
论文ID：math/0002025
分类：Category Theory
分类简称：math.CT
提交时间：2007-05-23