From Groups to Categorial Algebra