Do nonfaithful functors appear in real colimit constructions?

  • Level: Graduate 
  • Thread starter fallgesetz
  • Start date
1 reply · 2K views · last reply
fallgesetz
Messages
5
Reaction score
0
The colimit is defined in terms of a functor from an indexing category to another category(a diagram).

In the examples I've seen of the colimit, the functor is always faithful, so my question is, are there any nonfaithful functors from index categories that come up in real life?
 
What about particular cases of the diagrams you already know?

e.g. the coproduct of an object with itself.