Submission date:

Abstract:

We describe the ind- and pro- categories of the category of definable sets, in some first order theory, in terms of points in a sufficiently saturated model.

Mathematics Subject Classification: 03C07 (Primary); 18A35 (Secondary)

Keywords and phrases:

Full text: arXiv.