Коммутирующие дифференциальные и разностные операторы ранга два, отвечающие гиперэллиптическим спектральным кривым

Т.А. Лорингом был предложен категорный подход к понятию универсальной $C^\ast$-алгебры, порождённой множеством образующих, удовлетворяющих набору соотношений. В рамках этого подхода рассматриваются категории, называемые $C^\ast$-соотношениями. В докладе обсуждается свойство полноты компактных $C^\ast$-соотношений.