# Index Category

1. ### fallgesetz

5
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?

2. ### Hurkyl

15,987
Staff Emeritus