Concept-space and category theory →