A data structure for finite bounded acyclic categories has been built, which is useful to encode and manipulate abstract orientable incidence structure. It can be represented as a directed acyclic multigraph with weighted edges, where the weighs encode the algebraic structure between edges. The fundamental operations on this data structure are investigated from geometrical, categorical and programming perspectives.

翻译：针对有限有界无环范畴构建了一种数据结构，该结构可用于编码和操作抽象可定向关联结构。它可表示为带加权边的有向无环多重图，其中权重编码了边之间的代数结构。从几何学、范畴论与程序设计三个角度，对该数据结构的基本操作进行了研究。