Formal models for intracetegorical structure that can be used for data-analysis