Abstract
Topological spaces—such as classifying spaces, configuration spaces and spacetimes—often admit directionality. Qualitative invariants on such directed spaces often are more informative, yet more difficult, to calculate than classical homotopy invariants because directed spaces rarely decompose as homotopy colimits of simpler directed spaces. Directed spaces often arise as geometric realizations of simplicial sets and cubical sets equipped with order-theoretic structure encoding the orientations of simplices and 1-cubes. We prove dual simplicial and cubical approximation theorems appropriate for the directed setting and give criteria for two different homotopy relations on directed maps in the literature to coincide.
Similar content being viewed by others
References
Borceux, F.: Handbook of categorical algebra 2: categories and structures. Encyclopedia of Mathematics and its Applications, vol. 51. Cambridge University Press, pp. xviii+443 (1994)
Cisinski, C.: Les préfaisceaux commes modèles des types d’homotopie. Astèrisque (308) xxiv+392 pp. (2006)
Curtis, E.: Simplicial homotopy theory. Adv. Math. 6(2), 107–209 (1971)
Ehlers, P.J., Porter, T.: Ordinal subdivision and special pasting in quasicategories. Adv. Math. 214(2), 489–518 (2007)
Fajstrup, L.: Dipaths and dihomotopies in a cubical complex. Adv. Appl. Math. 35, 188–206 (2005)
Fajstrup, L., Goubault, E., Raußen, M.: Algebraic topology and concurrency. Theor. Comput. Sci. 357(1–3), 241–278 (2006)
Goubault, E., Haucourt, E.: Components of the fundamental category II. Appl. Categ. Struct. 15, 387–414 (2007)
Gierz, G., Hoffman, K.H., Keimel, K., Lawson, J.D., Mislove, M., Scott, D.S.: Continuous lattices and domains. Encyclopedia of Mathematics and Applications, vol. 63. Cambridge University Press, Cambridge (2003)
Goubault, E.: Cubical sets are generalized transition systems. Technical report, Pre-proceedings of CMCIM’02 (2002)
Grandis, M., Luca, M.: Cubical sets and their site. Theory Appl. Categ. 11(8), 185–211 (2003)
Grandis, M.: Directed homotopy theory. I. Cah. Topol. Géom. Différ. Catég. 44(4), 281–316 (2003)
Grandis, M.: Inequilogical spaces, directed homology and noncommutative geometry. Homology Homotopy Appl. 6(1), 413–437 (2004)
Krishnan, S.: A convenient category of locally preordered spaces. Appl. Categ. Struct. 17(5), 445–466 (2009)
Low, R.: Simple connectedness of space-time in the path topology. Department of Mathematics, Statistics, and Engineering Science, Coventry University, Coventry CV1 5FB, UK (2010)
MacLane, S.: Categories for the working mathematician. Graduate Texts in Mathematics, Springer-Verlag (1971)
Mardisec, S.: Strong shape and homology. Springer Monographs in Mathematics, Springer-Verlag, xii+489 pp. (2000)
May, P.: Simplicial Objects in Algebraic Topology. University of Chicago Press (1967)
Nachbin, L.: Topology and order, translated from the Portugese by Lulu Bechtolsheim, Van Nostrand Mathematical Studies, no. 4, D. Van Nostrand Co., Inc., Princeton, N.J.-Toronto, Ont.-London, vi+122 (1965)
Pratt, V.: Modelling concurrency with geometry. In: Proc. 18th ACM Symp. on Principles of Programming Languages, ACM Press, New York (1991)
Raussen, M.: Simplicial models for trace spaces. Algebr. Geom. Topol. 10(3), 1683–1714 (2010)
Segal, G.: Configuration-spaces and iterated loop-spaces. Invent. Math. 21(3), 213–221 (1973)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Krishnan, S. Cubical Approximation for Directed Topology I. Appl Categor Struct 23, 177–214 (2015). https://doi.org/10.1007/s10485-013-9330-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10485-013-9330-y