Extending the classical pop-stack sorting map on the lattice given by the right weak order on \(S_n\), Defant defined, for any lattice \(M\), a map \(\mathsf{Pop}_{M}: M \to M\) that sends an element \(x\in M\) to the meet of \(x\) and the elements covered by \(x\). In parallel with the line of studies on the image of the classical pop-stack sortin...

The Image of the Pop Operator on Various Lattices