高维度字符串图的布局算法
摘要：代数的锯齿建构近来被引入作为高维度的弦图的组合基础。为了在证明辅助工具中使用，需要一种布局算法来确定最佳的渲染坐标，包括2D、3D和4D的多种投影方案。在构建这些布局时，一个关键的要求是确定几何元素在每个维度上必须满足的线性约束。在这里，我们引入了一种名为“注射化”的新的范畴工具，它将一个函子性的分解系统提升到该范畴上的图表，并且我们展示了将其递归地实现在有限偏序的范畴中，使我们能够系统地生成所需的约束。这些想法已经作为证明辅助工具homotopy.io的布局引擎实现，使得复杂的高阶范畴对象的可视化更具吸引力和实用性。
作者：Calin Tataru and Jamie Vicary
论文ID：2305.06938
分类：Category Theory
分类简称：math.CT
提交时间：2023-05-12