category theory was invented in the tradition of Felix Klein’s Erlanger Programm, as a way of studying and characterizing different kinds of mathematical structures in terms of their “admissible trans- formations.” The general notion of a category provides a characterization of the notion of a “structure-preserving transformation,” and thereby of a species of structures admitting such transformations