Timeline for Order-isomorphic down-set lattices
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 1, 2013 at 4:00 | comment | added | Nik Weaver | Concretely, a complete $0,$1-lattice homomorphism from ${\mathcal O}(P)$ into ${\bf 2}$ corresponds to a pair of elements $x,y$ such that ${\mathcal O}(P)$ is the disjoint union of $x\downarrow$ and $y\uparrow$ (the set of elements $\leq x$ and the set of elements $\geq y$, respectively). We have $x=\sup f^{-1}(0)$ and $y=\inf f^{-1}(1)$. | |
| Apr 1, 2013 at 0:35 | history | answered | Nik Weaver | CC BY-SA 3.0 |