The dual of compact partially ordered spaces is a variety - Marco Abbadini (2019)