# nLab prorepresentable functor

A functor $C^{op}\to Set$ is prorepresentable (or pro-representable) if it is a small filtered limit of representables. In other words, it corresponds to a pro-object.

As these functors are ‘exactly’ the left exact functors, (at least with a caveat on size), that latter term can also be used, but there are some standard situations and conventions when this ‘pro-’ terminology is used.

### Note

One tends to say ‘pro-object in $C$’, and may use various descriptions via the (system of) representing objects in $C$, but one does not usually say ‘prorepresentable functor in $C$’.

## References

• A. Grothendieck, M. Raynaud et al. Revêtements étales et groupe fondamental (SGA I), Lecture Notes in Mathematics 224, Springer 1971 (retyped as math.AG/0206203; published version Documents Mathématiques 3, Société Mathématique de France, Paris 2003)

• M. Artin and B. Mazur, Étale homotopy theory, 1969, No. 100 in Lecture Notes in Maths., Springer-Verlag, Berlin.

Revised on December 5, 2011 19:25:23 by Tim Porter (95.147.237.179)