Components of the fundamental category
Goubault, Eric
HAL, hal-00150859 / Harvested from HAL
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 ldquoalgebrardquo 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.
Publié le : 2004-10-30
Classification:  po-space,  dihomotopy,  fundamental category,  category of fractions,  component,  invertible morphism,  lr-system,  pure system,  weakly invertible morphism,  [MATH.MATH-AT]Mathematics [math]/Algebraic Topology [math.AT],  [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
@article{hal-00150859,
     author = {Goubault, Eric},
     title = {Components of the fundamental category},
     journal = {HAL},
     volume = {2004},
     number = {0},
     year = {2004},
     language = {en},
     url = {http://dml.mathdoc.fr/item/hal-00150859}
}
Goubault, Eric. Components of the fundamental category. HAL, Tome 2004 (2004) no. 0, . http://gdmltest.u-ga.fr/item/hal-00150859/