Completions of categories - Lambek, Joachim (Springer, 1964)