Классический результат Гаррета Биркгофа утверждает, что категория, объектами которой являются биалгебраические дистрибутивные решетки, а морфизмами — полные гомоморфизмы решеток, дуально эквивалентна категории, объекты которой — частично упорядоченные множества, а морфизмы — монотонные отображения. Этот результат был расширен на категорию биалгебраических решеток, принадлежащих многообразию, порожденному пентагоном , а также на другие многообразия решеток. Мы даем обзор метода, используемого для получения последней дуальности и наметим доказательства новых расширений.