Abstract homotopical methods for theoretical computer science

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.

16 pages; LaTeX2e; chapter of book

References in corpus (4)

• Higher Topos Theory
• Comparing globular complex and flow
• T-homotopy and refinement of observation (IV) : Invariance of the underlying homotopy type
• Inverting weak dihomotopy equivalence using homotopy continuous flow