Категорный критерий существования универсальных С*-алгебр

Доклад посвящен категориям, введенным Т.А. Лорингом в рамках аксиоматического подхода к универсальным C*-алгебрам. Эти категории называются C*-соотношениями. C*-соотношения, обладающие инициальными объектами, называются компактными. Универсальная C*-алгебра для компактного C*-соотношения определяется как ее инициальный объект. Показывается, что каждое компактное C*-соотношение является полной и кополной категорией. В качестве приложения полноты компактных C+-соотношений, мы получаем критерий существования универсальных C*-алгебр.