 A generator of formula_7 is given by the coproduct of all formula_88, with formula_89.The category formula_7 is equivalent to the category formula_91 of ind-objects of formula_40 and the embedding formula_93 corresponds to the natural embedding formula_94.We may therefore view formula_7 as the co-completion of formula_40.