Text this: From Groups to Categorial Algebra