Universal lattice for a given poset – mathoverflow.net
Dominic van der Zypen
Given a partially ordered set (poset) $(P,\leq)$, is there a lattice $L_P$ and an order-preserving map $h_P:P\to L_P$ with the following property?
Whenever $L$ is a lattice and $f: P\to L$ is an ...