
Re: Homomorphism of posets and lattices
Posted:
Sep 19, 2013 10:13 AM


William Elliot wrote:
> 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?
I've uploaded a new version of my preprint with:
Let f be a monotone map from a meetsemilattice A to a meetsemilattice B.

