Applied Categorical Structures

, Volume 12, Issue 1, pp 81–108

Components of the Fundamental Category

  • L. Fajstrup
  • M. Raussen
  • E. Goubault
  • E. Haucourt
Article

DOI: 10.1023/B:APCS.0000013812.75342.de

Cite this article as:
Fajstrup, L., Raussen, M., Goubault, E. et al. Applied Categorical Structures (2004) 12: 81. doi:10.1023/B:APCS.0000013812.75342.de

Abstract

In this article we study the fundamental category (Goubault and Raussen, 2002; Goubault, 2000) of a partially ordered topological space (Nachbin, 1965; Johnstone, 1982), as arising in, e.g., concurrency theory (Fajstrup et al., 1999). The “algebra” of dipaths modulo dihomotopy (the fundamental category) of such a po-space is essentially finite in a number of situations: We define a component category of a category of fractions with respect to a suitable system, which contains all relevant information. Furthermore, some of these simpler invariants are conjectured to also satisfy some form of a van Kampen theorem, as the fundamental category does (Goubault, 2002; Grandis, 2001). We end up by giving some hints about how to carry out some computations in simple cases.

po-spacedihomotopyfundamental categorycategory of fractionscomponentinvertible morphismlr-systempure systemweakly invertible morphism

Copyright information

© Kluwer Academic Publishers 2004

Authors and Affiliations

  • L. Fajstrup
    • 1
  • M. Raussen
    • 1
  • E. Goubault
    • 2
  • E. Haucourt
    • 2
  1. 1.Department of Mathematical SciencesAalborg UniversityDenmark
  2. 2.CEA/SaclayFrance