
Re: Homomorphism of posets and lattices
Posted:
Sep 19, 2013 1:04 AM


Now that those definitions have finally been corrected, I've found yet another error to bring to your attention.
Proposition 3.4. Let f be a monotone map from a meetsemilattice K to some poset L. If Aa,b in K: f(a meet b) = f(a) meet f(b) then f is a straight map.
The problem I see with this proposition is that f(a) meet f(b) doesn't exist for a,b in K.
I suggest these corrections.
Let f be a monotone map from a meetsemilattice K to some meetsemilattice L.
Let f be a monotone map from a meetsemilattice K to some poset L for which f(K) is a meetsemilattice.
Comments or suggestions anyone?

