Boken "Algebraic Theories" presenterer en grundig innføring i algebra basert på algebraiske teorier, et konsept som ble introdusert på 1960-tallet og som har vært en vesentlig milepæl mot en kategorisk tilnærming til generell algebra. Dette systematiske arbeidet er designet for å være tilgjengelig både for masterstudenter og forskere, og det legger til rette for samarbeid mellom generell algebra, kategori-teori og datavitenskap. Et sentralt tema i boken er sifted colimits, som refererer til de som kommuterer med endelige produkter i mengder. Forfatterne beviser dualiteten mellom algebraiske kategorier og algebraiske teorier, samt diskuterer Morita-ekvivalens mellom disse teoriene. De legger også spesiell vekt på en-sorterte algebraiske teorier og de tilhørende konkrete algebraiske kategoriene over mengder, samt S-sorterte algebraiske teorier, som er essensielle i programsemantikk. Den avsluttende delen av boken er viet til finære lokaliseringsmetoder innenfor algebra.
