The pseudovariety DA has a huge number of characterizations from very different areas - including algebra, formal languages and logic. The Trotter-Weil hierarchy is an infinite hierarchy of pseudovarieties inside DA.

In this talk, I will give a brief overview of the different characterizations of DA and their connection to the Trotter-Weil hierarchy.