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