We show the spectral universality of the class of structures that are linear orders with an additional binary relation and hence with an n -ary relation for each n ≥ 2. To this end, we study the category of the structures. We then obtain some other algorithmic properties of the category by using the notion of a computable functor which was studied in recent papers by other authors.

中文翻译：

---

具有一个二元关系的线性阶的谱普遍性

我们展示了具有附加二元关系的线性阶结构类别的谱普适性，因此对于每个 n ≥ 2 具有 n 元关系。为此，我们研究结构的类别。然后，我们通过使用其他作者在最近的论文中研究过的可计算函子的概念，获得了该类别的一些其他算法特性。