A functor maps dots and arrows (elements and functions), respecting composition.

In category theory, there are no disembodied, “objective” things — every Thing must come with an Interpretation.