The theory of directed complexes is a higher-dimensional generalisation of the theory of directed graphs. In a directed graph, the simple directed paths form a subset of the free category which they generate; if the graph has no directed cycles, then the simple directed paths constitute the entire category. Generalising this, in a directed complex there is a class of split subsets which is contained in and generates a free ω-category; when a simple loop-freeness condition is satisfied, the split sets constitute the entire ω-category. The class of directed complexes is closed under the natural product and join constructions. The free ω-categories generated by directed complexes include the important examples associated to cubes and simplexes.
This is a preview of subscription content, log in to check access.
Buy single article
Instant access to the full article PDF.
Price includes VAT for USA
Subscribe to journal
Immediate online access to all issues from 2019. Subscription will auto renew annually.
This is the net price. Taxes to be calculated in checkout.
I.R. Aitchison: 1986,The Geometry of Oriented Cubes, Macquarie Mathematics Reports 86-0082.
F.A. Al-Agl and R. Steiner: 1993, ‘Nerves of multiple categories’,Proc. London Math. Soc. (3)66, 92–128.
R. Brown and P.J. Higgins: 1981, ‘The equivalence of ∞-groupoids and crossed complexes’,Cah. Top. Géom. Diff. 22, 371–386.
M. Johnson: 1989, ‘The combinatorics of categorical pasting’,J. Pure Appl. Algebra 62, 211–225.
M.M. Kapranov and V.A. Voevodsky: 1991, ‘Combinatorial-geometric aspects of polycategory theory: pasting schemes and higher Bruhat orders (list of results)’,Cah. Top. Géom. Diff. Catégoriques 32, 11–27.
A.J. Power: 1991, ‘Ann-categorical pasting theorem’, in A. Carboni, M.C. Pedicchio, and G. Rosolini (eds.),Category Theory, Proc. Int. Conf. Como 1990, Lecture Notes in Mathematics 1488, Springer, Berlin, etc., 326–358.
V. Pratt: 1991, ‘Modeling concurrency with geometry’, in D. Wise (ed.),Principles of Programming Languages, Proceedings of the eighteenth annual ACM symposium, ACM Press, New York, 311–322.
R. Street: 1987, ‘The algebra of oriented simplexes’,J. Pure Appl. Algebra 49, 281–335.
R. Street: 1991, ‘Parity complexes’,Cah. Top. Géom. Diff. Catégoriques 32, 315–343.
About this article
Cite this article
Steiner, R. The algebra of directed complexes. Appl Categor Struct 1, 247–284 (1993). https://doi.org/10.1007/BF00873990
Mathematics Subject Classification (1991)
- Directed complex
- parity complex
- split set
- frame dimension
- totally loop-free