# Index Category

1. Nov 10, 2009

### fallgesetz

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. Nov 10, 2009

### Hurkyl

Staff Emeritus