Mathematics – Category Theory
Scientific paper
2000-02-03
Pure Mathematics and Applications, 9, 485--490 (1998)
Mathematics
Category Theory
latex209, 6 pages
Scientific paper
For an arbitrary partially ordered set $P$ its {\em dual} $P^*$ is built as the collection of all monotone mappings $P\to\2$ where $\2=\{0,1\}$ with $0<1$. The set of mappings $P^*$ is proved to be a complete lattice with respect to the pointwise partial order. The {\em second dual} $P^{**}$ is built as the collection of all morphisms of complete lattices $P^*\to\2$ preserving universal bounds. Then it is proved that the partially ordered sets $P$ and $P^{**}$ are isomorphic.
No associations
LandOfFree
Algebraic duality for partially ordered sets does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Algebraic duality for partially ordered sets, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Algebraic duality for partially ordered sets will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-391184