Is a homomorphism a special type of morphism, namely a structure-preserving map?

For a morphism (of a category), it is clear that we can't always expect that a morphism is necessarily a (structure-preserving) map. It occurred to me that I never saw a definition of a homomorphism (for a specific category) that wasn't a map. On the other hand, the collection of all morphisms between objects $X$ and $Y$ in category $C$ is denoted $\operatorname{hom}_C(X,Y)$, which seems to be a three letter acronym for homomorphism.

Is a homomorphism expected to be a (structure-preserving) map, or could a (structure-preserving) relation also be called a homomorphism?

  • $\begingroup$ So you are asking about the conventional use of the word homomorphism? The morphism sets are often denoted $\operatorname{Mor}_C(X,Y)$ which avoids the appearance of the word in the context of a general category at all. $\endgroup$ – Christoph Apr 16 '14 at 8:33
  • $\begingroup$ @Christoph Well, let's say the "appropriate" use of the word homomorphism, instead of "conventional". It certainly implies "structure-preserving" (even so this is not a well defined notion), I just wonder whether it also implies "map". $\endgroup$ – Thomas Klimpel Apr 16 '14 at 8:47
  • $\begingroup$ Then this is more of a soft-question on terminology, maybe change the tags. Sorry my (now deleted) answer didn't help. $\endgroup$ – Christoph Apr 16 '14 at 8:48
  • 2
    $\begingroup$ Qiaochu's answer might answer your question: math.stackexchange.com/questions/438344/… $\endgroup$ – Dan Saattrup Nielsen Apr 16 '14 at 9:34
  • 1
    $\begingroup$ What does this have to do with model theory? $\endgroup$ – tomasz Apr 17 '14 at 6:20

Let me summarize the information from the comments and links into a concrete answer.

  • Yes, a homomorphism is expected to be a structure-preserving map. This also applies to homomorphisms of relational structures.
  • It is possible to think of the objects in a concrete category as sets, and of the morphisms as certain maps between those sets. There are categories which are not concretizable, for example the homotopy category of topological spaces.
  • The term "homomorphism" predates both the term "morphism" and the creation of category theory. Often now in mathematics people speak of a morphism of rings or groups or ..., i.e. they drop the prefix homo-. This influence of the general category-theoretic terminology helps explain how the confusion between morphism and homomorphism could arise.
  • In a certain sense, even some mappings like continuous functions between topological spaces should not be called homomorphisms. The continuous functions are the morphisms of the category Top, which is known to be not regular.

Sorry for not citing with exact references, and for modifying the statements slightly to make them "stronger" than they initially were. One reason why I decided to write an answer is that people seem reluctant to give clear definite answers, and instead suggest that this is a soft question. I prefer clear statements when it comes to terminology, even if actual practice and historical reality might be much more complicated.

Let me also add some of my own remarks.

The remark that some authors write $\operatorname{Mor}_C(X,Y)$ instead of $\operatorname{hom}_C(X,Y)$ ignores the fact that important authors like MacLane or Awodey stick with $\operatorname{hom}_C(X,Y)$. They rarely use the word morphism, but use arrow instead when they talk about morphisms which are not necessarily homomorphisms. This is probably a wise choice, as people seem to have a hard time to make a distinction between the words homomorphism and morphism. I guess that's the reason why some authors write $C(X,Y)$ instead of $\operatorname{hom}_C(X,Y)$.

Some commenters questioned the usefulness of considering morphisms between first-order structures which are not functions. Funnily, some moments later they proposed that a certain class of injective partial functions would be "the right definition of morphism in model theory". But an injective partial function is not a function, just like a binary relation which is both left-total and right-total is not a function. Honestly, I don't know whether there exists a "right definition of morphism in model theory" (even assuming that we annotate the predicates as "equality like", "inequality like", "both" or "neither"), and whether this morphism would be a homomorphism.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.