Difference Between Types And Categories