universal algebra
Noun
Meaning
(uncountable) A branch of mathematics dealing with equational classes of algebras, where similar theorems from disparate branches of algebra are unified.
(countable) An algebraic structure studied therein.
Source: en.wiktionary.orgSynonyms
Examples
A more recent development in category theory that generalizes operations is operad theory – an operad is a set of operations, similar to a universal algebra.
Motivations and applications In addition to its unifying approach, universal algebra also gives deep theorems and important examples and counterexamples.
But from a universal algebraist's point of view, that is already implied by calling ∗ a binary operation.) This definition of a group is problematic from the point of view of universal algebra.
For example, ordered groups are not studied in mainstream universal algebra because they involve an ordering relation.
For instance, rather than take particular groups as the object of study, in universal algebra one takes "the theory of groups" as an object of study.
Further, the perspective of universal algebra insists not only that the inverse and identity exist, but that they be maps in the category.