Skip to main content
1 of 2

Contracting join-incomplete lattice endomorphisms

Let $L$ be an complete lattice. A lattice homomorphism $f: L\to L$ is said to be join-incomplete if there is an infinite set $S \subseteq L$ such that $f(\bigvee_L S) \neq \bigvee_L f(S).$

If $f:L\to L$ is join-incomplete, does there exist a lattice homomorphism $f:L\to L$ such that

  • there is $S\subseteq L$ with $f(S) \subseteq S$, and
  • $f(\bigvee_L S) > \bigvee_L f(S)$

?