Components of the Fundamental Category

Applied Categorical Structures

Volumn 12, Issue 1, 2004, Pages 81-108

  Fajstrup, L ^a   Raussen, M ^a   Goubault, E ^b   Haucourt, E ^b  

^a AALBORG UNIVERSITY   (Denmark)

^b CEA SACLAY   (France)

Author keywords

Category of fractions; Component; Dihomotopy; Fundamental category; Invertible morphism; Lr system; Po space; Pure system; Weakly invertible morphism

Indexed keywords

ALGORITHMS; COMPONENTS; COMPUTATIONAL METHODS; FUNCTIONS; MATHEMATICAL MODELS;

CATEGORY OF FRACTIONS; DIHOMOTOPY; FUNDAMENTAL CATEGORY; INVERTIBLE MORPHISM; LR-SYSTEMS; PO-SPACE; PURE SYSTEMS; WEAKLY INVERTIBLE MORPHISM;

TOPOLOGY;

EID: 1342345857     PISSN: 09272852     EISSN: None     Source Type: Journal    
DOI: 10.1023/B:APCS.0000013812.75342.de     Document Type: Article

References (18)

1. Borceux, F.: Handbook of Categorical Algebra 1: Basic Category Theory, Cambridge University Press, 1994.
2. Brown, R.: Elements of Modern Topology, McGraw-Hill, Maidenhead, 1968.
3. Dijkstra, E.: Cooperating Sequential Processes, Academic Press, New York, 1968.
4. Fajstrup, L., Goubault, E. and Raussen, M.: Detecting deadlocks in concurrent systems, in Proceedings of the 9th International Conference on Concurrency Theory, Springer-Verlag, 1998, pp. 332-447, also available at http://www.dmi.ens.fr/̃goubault.
5. Fajstrup, L., Goubault, E. and Raussen, M.: Algebraic topology and concurrency, Submitted to Theoretical Computer Science, also Technical Report, Aalborg University, 1999.
6. Gabriel, P. and Zisman, M.: Calculus of Fractions and Homotopy Theory, Ergebnisse der Mathematik und ihrer Grenzgebiete 35, Springer-Verlag, 1967.
7. Gaucher, P.: A convenient category for the homotopy theory of concurrency, Preprint, 2002, available at math.AT/0201252.
8. Gaucher, P. and Goubault, E.: Topological deformation of higher dimensional automata, Homotopy Homology Appl. 5(2) (2003), 39-82.
9. Goubault, E.: Some geometric perspectives in concurrency theory, Homology Homotopy Appl. 5(2) (2003), 95-136.
10. Goubault, E. and Raussen, M.: Dihomotopy as a tool in state space analysis, in S. Rajsbaum (ed.), LATIN 2002: Theoretical Informatics (Cancun, Mexico), Lecture Notes in Computer Science 2286, Springer-Verlag, 2002, pp. 16-37.
11. Grandis, M.: Directed homotopy theory, I. The fundamental category, Cahiers Topologie Géom. Différentielle Catég. 44, Preliminary version: Dip. Mat. Univ. Genova, Preprint 443, 2003.
12. Higgins, P. J.: Categories and Groupoids, Van Nostrand Reinhold Mathematical Series 32, 1971.
13. Johnstone, P. T.: Stone Spaces, Cambridge University Press, 1982.
14. Kelly, G. M., Lack, S. and Walters, R. F. C.: Coinverters and categories of fractions for categories with structure, Appl. Categ. Structures (1993).
15. Mac Lane, S.: Categories for the Working Mathematician, Springer-Verlag, 1971.
16. Nachbin, L.: Topology and Order, Van Nostrand, Princeton, 1965.
17. Raussen, M.: On the classification of dipaths in geometric models for concurrency, Math. Structures Comput. Sci. 10(4) (2000), 427-457.
18. Raussen, M.: State spaces and dipaths up to dihomotopy, Homology Homotopy Appl. 5(2) (2003), 257-280.