Concept in category theory.