DUALITY IN NON-ABELIAN ALGEBRA I. FROM COVER RELATIONS TO GRANDIS EX2-CATEGORIES