Is the Natural Functor on the Quotient Category Ever Not the Identity Functor on Objects? Let $C$ be a category and $C/R$ its quotient category.
According to Wikipedia:

There is a natural quotient functor from C to C/R which sends each morphism to its equivalence class. This functor is bijective on objects and surjective on Hom-sets (i.e. it is a full functor).

Question: Notice the bolded above; why doesn't Wikipedia just state that this functor is the identity mapping on objects? Is it ever not the identity mapping (on objects)?

The most likely answer is that the author found this the most natural language to express this.

That said, there are reasons not to insist on it being an identity map — even with the specific construction of the quotient category you have in mind. For example:


*

*There is an "arrow only" definition of category, in which the word "object" means "identity arrow". The quotient functor map constructed here is not the functor when applied to identity arrows.

*Following various lines of thought of category theory, the notion of 'object' should be so that every object remembers what category it is a member of. Thus, it simply doesn't make sense to suggest that a functor between different categories is the identity on objects.


One of the first examples one often sees in the spirit of the second bullet is the distinction between a morphism of sets (which remembers its domain and codomain) and the set of points of its graph (which only remembers the domain).
