1: \begin{abstract}

2: $\Omega$-automata and Wilke algebras are formalisms for characterising $\omega$-regular languages via their ultimately periodic words. $\Omega$-automata read finite representations of ultimately periodic words, called lassos, and they are a subclass of lasso automata.

3: We introduce lasso semigroups as a generalisation of Wilke algebras that mirrors how lasso automata generalise $\Omega$-automata, and we show that finite lasso semigroups characterise regular lasso languages. 

4: We then show a dual adjunction between lasso automata and quotients of the free lasso semigroup with a recognising set, and as our main result we show that this dual adjunction restricts to one between $\Omega$-automata and quotients of the free Wilke algebra with a recognising set. 

5: 

6: \keywords{Infinite words \and $\omega$-regular languages \and Ultimately periodic words \and $\Omega$-automata \and Wilke algebra \and Coalgebra}

7: \end{abstract}

8: