Cartesian lattice counting by the vertical 2-sum

Jukka Kohonen

A vertical 2-sum of a two-coatom lattice $L$ and a two-atom lattice $U$ is obtained by removing the top of $L$ and the bottom of $U$, and identifying the coatoms of $L$ with the at…