A Fibration Category of Local Pospaces

Authors:
Thomas Kahl
Affiliations:
Centro de Matemática, Universidade do Minho, Campus de Gualtar, 4710-057 Braga, Portugal
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2009

Citing 1
Cited 0

Algebraic topology and concurrency

Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics

Quantified Score

Hi-index	0.00

Visualization

Abstract

L. Fajstrup, E. Goubault, and M. Raussen have introduced local pospaces as a model for concurrent systems. In this paper it is shown that the category of local pospaces under a fixed local pospace is a fibration category in the sense of H. Baues. The homotopy notion in this fibration category is relative directed homotopy.