Acyclic models and resolvent functors