"Of course, some kinds of structures (notably, algebraic ones) come with an obvious\" sort of morphism which is often the useful one, but there is no law that we can not use a different kind of morphism if we prefer." . . . . .