nLab
prorepresentable functor

A functor $C^{\mathrm{op}}\to \mathrm{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,Technique de descente … : II

• 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.