Abstract homotopical methods for theoretical computer science

MaRDI QIDQ6206154zbMATH OpenFDO

Authors Philippe Gaucher

Publication date 10 July 2007

Mathematics Subject Classification ID

Homotopy functors in algebraic topology (55P65) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Abstract: The purpose of this paper is to collect the homotopical methods used in the development of the theory of flows initialized by author's paper ``A model category for the homotopy theory of concurrency. It is presented generalizations of the classical Whitehead theorem inverting weak homotopy equivalences between CW-complexes using weak factorization systems. It is also presented methods of calculation of homotopy limits and homotopy colimits using Quillen adjunctions and Reedy categories.

This page was built for publication: Abstract homotopical methods for theoretical computer science

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6206154)