Relative directed homotopy theory of partially ordered spaces

• Autor(a) principal: Kahl, Thomas
• Data de Publicação: 2006
• Tipo de documento: Artigo
• Idioma: eng
• Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
• Texto Completo: http://hdl.handle.net/1822/11175
• topic: Partially ordered spaces; Directed homotopy theory; Concurrency; Closed model category; Science & Technology

Algebraic topological methods have been used successfully in concurrency theory, the domain of theoretical computer science that deals with parallel computing. L. Fajstrup, E. Goubault, and M. Raussen have introduced partially ordered spaces (pospaces) as a model for concurrent systems. In this paper it is shown that the category of pospaces under a fixed pospace is both a fibration and a cofibration category in the sense of H. Baues. The homotopy notion in this fibration and cofibration category is relative directed homotopy. It is also shown that the category of pospaces is a closed model cate- gory such that the homotopy notion is directed homotopy.