A pseudovariety of mathematics and general (mostly mathematics) which purports to talk more than just about associative algebra.