No CrossRef data available.
Published online by Cambridge University Press: 09 April 2009
The theory of directed complexes is extended from free ω-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 ω-category has a presentation by directed complexes. The approach is similar to that used by Crans for pasting presentations.