Concept-space and category theory

→