Спектральная универсальность линейных порядков с одним бинарным отношением

Показана спектральная универсальность класса структур, представляющих собой линейные порядки с дополнительным бинарным отношением и, следовательно, $n$-арным отношением для любого наперед заданного $n \ge 2$. Для этого исследуется категория таких структур. Это позволяет, используя понятие вычислимого функтора, исследуемое в недавних работах других авторов, получить ряд прочих алгоритмических свойств этой категории.