"Completions of Categories. Seminar 1966, Zuerich" - читать интересную книгу автора (Joachim Lambek)