for C being CategoryStr holds
( C is associative iff C opp is associative )