Published online by Cambridge University Press: 09 April 2009
For enriched categories the correct notion of limit involves indexing by a module. This paper studies the question of cocompletion for a given set of indexing modules. As well as providing a simplified treatment of cocompleteness for ordinary categories, associated sheaves and associated stacks are also included as cocompletion processes for appropriate bases. In fact the saturation of a general set of indexing modules has properties which justify our use of the term “covering” for members of the saturation.