Лекция 8. В.Б. Шехтман. Алгебраическая логика и категории.