arXiv++ Combinatorics

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.

A generalization of incidence relations in abstract polytope has been explored, and parameterized surfaces are used as primers. The abstract orientable incidence structure is defined as an algebraic model of incidence relations, in which some algebraic properties in abtract polytope theory are generalized. The geometric interpretation of abstract orientable incidence structure are also discussed. The orientable incidence structure in a semi-regular normal CW complex are briefly investigated.