Terminology -- Generating and sup-dense subcategories -- Limit preserving functors -- A sup-complete sup-dense, sup-preserving extension -- The completion when A is not small -- The relationship between different forms of completeness -- Theorems without properness conditions -- Completions of groups -- Completions of categories of algebras -- Completions of categories of modules