for C being Category holds Alter C is associative