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