Deakstadieđáhus: Algebraic theories