Presentations for omega-categories by directed complexes

(with Richard Steiner), J. Austral. Math. Soc. (Series A) 63 (1997), 47-77

Abstract:

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.

``© 1997 Australian Mathematical Society''

ps-file of the revised preprint version | back to the papers page fichier ps de la version préprint révisée | retour à la page papiers
Sjoerd E. Crans
School of Mathematics and Statistics
University of Sydney
Sydney NSW
Australia