Question: what is difference between category and type?
Answer: Category fits to a family of different things, while type refers to the actual fact that something exists as being of this type. Something has a type Something fits into a category. Categories also are branched and hereditary, while types are just some qualification of an object.