The theory of directed complexes is extended from free omega-categories to arbitrary omega-categories by defining presentations in which the generators are atoms and the relations are equations between molecules. Our main result relates these presentations to the more standard algebraic presentations; we also show that every omega-category has a presentation by directed complexes. The approach is similar to that used by Crans for pasting presentations.
机构:
Western Sydney Univ, Ctr Res Math & Data Sci, Locked Bag 1797, Penrith, NSW 2751, AustraliaWestern Sydney Univ, Ctr Res Math & Data Sci, Locked Bag 1797, Penrith, NSW 2751, Australia