Navorsing in hierdie gebied is gesentreer rondom die kategoriese benadering tot klassieke en universele algebra, maar dit sluit ook algemene kategorieteorie in.

Een van die doelwitte van die navorsing is die ontwikkeling van konseptuele en verenigende fondamente vir verskeie begrippe, konstruksies en stellings met betrekking tot groepe, Lie-algebras, ringe, roosters, Heyting-semi-roosters, sowel as klasse van variëteite van universele algebras, en die verkenning van skakels met ander nie-algebraïese wiskundige strukture.

Dit word dikwels bereik deur die studie van semi-abelse kategorieë, plaaslik algebraïes kartesiese geslote kategorieë, sowel as ander kategorieë wat gedefinieer word deur sogenaamde akkuraatheidseienskappe, soos subtraktiewe en meerderheidskategorieë, tesame met die studie van algemene metodes vir hierdie tipe kategorieë.