# When is it important to distinguish between an object in a category and that object's identity morphism?

When is it important to distinguish between an object in a category and that object's identity morphism?

I am wondering if the only reason that we consider objects at all is to avoid infinitely recursive definitions.

-

Formally, there is not. But in most "concrete" categories at hand, the objects and morphisms are quite different conceptually. This makes it natural to distinguish between them in most cases.

Furthermore, in e.g. slice categories, the identity morphism of different objects may be the same if considered as an object on its own. This requires distinguishing them in one way or another. One of the most natural ways to do so is by means of objects.

-
Can you elaborate a little bit more on how identity morphisms of different objects in a slice category are equivalent? –  smartcaveman Apr 25 at 17:55
See this definition. The identity morphism is the same for all morphisms $f: X\to C$ with domain $X$. –  Lord_Farin Apr 25 at 17:57
Why is this true about slice categories? –  smartcaveman Aug 9 at 3:58

[I misread the question as asking why is it important to distinguish, rather than when is it important to distinguish. Even though I answered the wrong question, I liked my answer enough that I didn't want to delete it. Also, it does seem to address the "infinite regress" part of the original question. So I have marked it CW.]

Some definitions of a category don't distinguish; they drop the objects entirely.

For example, the definition of Freyd and Scedrov's Categories, Allegories (page 3) omits the objects, identifying each object with its identity morphism. If $x$ is a morphism, then $\square x$ denotes the "source" of $x$. Conceptually this is the codomain of $x$, except that the codomain object has been eliminated in favor of its identity morphism. So one has for example the axiom that $(\square x)\cdot x = x$, and the theorem that $\square(\square x) = \square x$.

Similarly $x\square$ is the "target" of $x$, the identity morphism of the codomain object of $x$, so the rule that $fg$ is defined only when the domain of $g$ and the codomain of $f$ are equal becomes "$xy$ is defined iff $x\square = \square y$".

-
There are two different group structures on the two-element set $\{a,b\}$, but the identity morphism of both is simply $a\mapsto a, b\mapsto b$. Unless you add some "tagging" to your morphisms, you seem to loose information ...