Research Concept

Algebraic structure

set in category theory with one or more finitary operations defined on it