I thought they were calling lattices posets. Just enjoying following along. Reading a biography of my mathematical hero John von Neumann. What an amazing man. Voevodesky was the closest recent approximation.