About the globular homology of higher dimensional automata
Gaucher, Philippe
Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 43 (2002), p. 107-156 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 2002-01-01
@article{CTGDC_2002__43_2_107_0,
     author = {Gaucher, Philippe},
     title = {About the globular homology of higher dimensional automata},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     volume = {43},
     year = {2002},
     pages = {107-156},
     mrnumber = {1913102},
     zbl = {1001.18003},
     language = {en},
     url = {http://dml.mathdoc.fr/item/CTGDC_2002__43_2_107_0}
}

Gaucher, Philippe. About the globular homology of higher dimensional automata. Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 43 (2002) pp. 107-156. http://gdmltest.u-ga.fr/item/CTGDC_2002__43_2_107_0/

[1] Fahd A. A. Al-Agl. Aspects of multiple categories. PhD thesis, University of Wales, Department of Pure Mathematics, University College of North Wales, Bangor, Gwynedd LL57 1UT, U.K., September 1989.

[2] H.J. Baues. Geometry of loop spaces and the cobar construction. Mem. Amer: Math. Soc., 25(230):ix+171, 1980. | MR 567799 | Zbl 0473.55009

[3] R. Brown And P.J. Higgins. The equivalence of ∞-groupoids and crossed complexes. Cahiers Topologie Géom. Differentielle, 22(4):371-386, 1981. | Numdam | Zbl 0487.55007

[4] R. Brown and P.J. Higgins. On the algebra of cubes. J. Pure Appl. Algebra, 21 (3):233-260, 1981. | MR 617135 | Zbl 0468.55007

[5] J. Duskin. Simplicial methods and the interpretation of "triple" cohomology. Mem. Amer. Math. Soc., 3(issue 2, 163):v+135, 1975. | MR 393196 | Zbl 0376.18011

[6] L. Fajstrup, E. Goubault, and M. Raussen. Algebraic topology and concurrency. preprint, 1998. | MR 2242768

[7] L. Fajstrup, E. Goubault, and M. Raußen. Detecting deadlocks in concurrent systems. In CONCUR'98: concurrency theory (Nice), pages 332-347. Springer, Berlin, 1998. | MR 1683333

[8] P. Gaucher. Combinatorics of branchings in higher dimensional automata. preprint math.CT/9912059, 2000. | MR 1847036

[9] P. Gaucher. Homotopy invariants of higher dimensional categories and concurrency in computer science. Math. Structures Comput. Sci., 10(4):481-524, 2000. Geometry and concurrency. | MR 1786472 | Zbl 0956.68097

[10] P. Gaucher. From concurrency to algebraic topology. In Jeremy Gunawardena Maurice Herlihy Martin Raussen Patrick Cousot, Eric Goubault and Vladimiro Sassone, editors, Electronic Notes in Theoretical Computer Science, volume 39. Elsevier Science Publishers, 2001. | MR 2186520 | Zbl 0976.68069

[11] E. Goubault. The Geometry of Concurrency. PhD thesis, Ecole Nor-male Supérieure, 1995.

[12] M. Johnson. The combinatorics of n-categorical pasting. J. Pure Appl. Algebra, 62(3):211-225, 1989. | MR 1026875 | Zbl 0694.18007

[13] K.H. Kamps and T. Porter. Abstract homotopy and simple homotopy theory. World Scientific Publishing Co. Inc., River Edge, NJ, 1997. | MR 1464944 | Zbl 0890.55014

[14] M. Kapranov and V. Voevodsky. Combinatorial-geometric aspects of polycategory theory: pasting schemes and higher Bruhat orders (list of results). Cahiers Topologie Geom. Differentielle Catégoriques, 32(1):11-27, 1991. International Category Theory Meeting (Bangor, 1989 and Cambridge, 1990). | Numdam | MR 1130400 | Zbl 0748.18010

[15] S. Mac Lane. Categories for the working mathematician. Springer-Verlag, New York, second edition, 1998. | MR 1712872 | Zbl 0906.18001

[16] Yu. I. Manin and V.V. Schechtman. Arrangements of hyperplanes, higher braid groups and higher Bruhat orders. In Algebraic number theory, pages 289-308. Academic Press, Boston, MA, 1989. | MR 1097620 | Zbl 0759.20002

[17] J.P. May. Simplicial Objects in Algebraic Topology. D. Van Nostrand Company, 1967. | MR 222892 | Zbl 0165.26004

[18] R.J. Milgram. Iterated loop spaces. Ann. of Math. (2), 84:386-403, 1966. | MR 206951 | Zbl 0145.19901

[19] V. Pratt. Modeling concurrency with geometry. In ACM Press, editor, Proc. of the 18th ACM Symposium on Principles of Programming Languages, 1991.

[20] D. Quillen. Higher algebraic K-theory. I. pages 85-147. Lecture Notes in Math., Vol. 341, 1973. | MR 338129 | Zbl 0292.18004

[21] S. Sokolowski. Classifying holes of arbitrary dimensions in partially ordered cubes. Technical report, Kansas State University, 1999.

[22] R. Steiner. Tensor products of infinity-categories. University of Glasgow, 1991.

[23] R. Street. The algebra of oriented simplexes. J. Pure Appl. Algebra, 49(3):283-335, 1987. | MR 920944 | Zbl 0661.18005

[24] R. Street. Fillers for nerves. In Categorical algebra and its applications (Louvain-La-Neuve, 1987), pages 337-341. Springer, Berlin, 1988. | MR 975981 | Zbl 0656.18012