About inverse and inductive limits in category theory

Question

I have a naive question on category theory. It is about inverse and inductive limits.

We have the notion of inverse system in a category $C$ which can be seen as a contravariant functor $F:I \to C$, where $I$ is a directed poset. The inverse limit of F is then just the limit of $F$ in the categorical sense. It is a universal arrow $(r, u)$ from the diagonal functor $\Delta:I \to C$ to $F$ (e.g. like a product for instance).

My question is the following: Would it make sense to look at the colimit of an inverse system (like a coproduct)? Does it exists in general and would it be an interesting object?

I have also the dual question for the limit of an inductive system.

Thanks in advance!

Regards,
Moustik

Answer 1

The interesting part of a directed set is (co)limits in the direction of the set; limits of functors $I^\text{op} \to \mathcal{C}$ or colimits of functors $I \to \mathcal{C}$ are the notions that have special importance.

You can consider limits of functors $I \to \mathcal{C}$ or colimits of functors $I^\text{op} \to \mathcal{C}$, but I don't think there's much special about them. Off hand, the only feature I can think of is that such (co)limits are connected.