 It is a rather deep result that every Grothendieck category formula_7 is complete, i.e.that arbitrary limits (and in particular products) exist in formula_7.By contrast, it follows directly from the definition that formula_7 is co-complete, i.e.