In these days I am thinking to a problem on accessible categories. I have a faithful functor $F : \mathcal{K} \to \text{Set}$ and I want to know if it preserves directed colimits. More generally I want to know if such a functor exists.

This was just context and motivations. Now comes the question.

For a diagram $D : I \to \mathcal{K}$ and a functor $F: \mathcal{K} \to \mathcal{A}$, one would like to have a machinery to understand if the $F$ preserves $D$.

Such a question is very vague but in fact is much studied. For the special case of D = diagram of (co)kernel, the theory of derived functors $F^i$, gives a gadget - an abelian group - which is $0$ precisely when $F$ preserves $D$.

This theory uses many hypotesis of $\mathcal{A}$, such as the existence of any variant of snake lemma. And uses hypotesis on $\mathcal{K}$, too, such as existence of enough projectives. I am not allergic to any kind of hypotesis.

All in all, my question is:

- Did anyone try to develop a tool which is sensitive to (co)continuity of a functor on some (co)limits, such as it was done for the (co)kernel - finite limits, in fact - in the case of abelian categories?
- Is there any evident obstruction that makes the (co)kernel a very lucky case?

As a first try, a friend of mine, told me that Freyd and Kelly gave some very natural conditions under which category of continous functors with respect to a class of diagrams is a reflexive subcategory of the category of all functors. This is interesting but I does not seem to me to answer the question.

Surely this proves that for an accessible category $\mathcal{K}$ there is a functor $F: \mathcal{K} \to$ Set which preserves many colimits, but I need this functor to be faithful too, thus this characterization is too blind for me. Something more computational would be much better. One could hope that the reflection takes faithful functors into faithful functors, but this is just superstition.

Any reference as the one I mentioned would be welcome.