Applied Categorical Structures

, Volume 12, Issue 1, pp 81-108

First online:

Components of the Fundamental Category

  • L. FajstrupAffiliated withDepartment of Mathematical Sciences, Aalborg University
  • , M. RaussenAffiliated withDepartment of Mathematical Sciences, Aalborg University
  • , E. GoubaultAffiliated withCEA/Saclay
  • , E. HaucourtAffiliated withCEA/Saclay

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


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-space dihomotopy fundamental category category of fractions component invertible morphism lr-system pure system weakly invertible morphism