added lim/colim definitions, edited proof of lemma 1.5 (all index are Swan's); finished proof of theorem 1.4