Universal algebra is the study of algebraic structures using category theory.