Abstract homotopical methods for theoretical computer science
Algebraic Topology
2007-07-11 v1 Category Theory
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.
Cite
@article{arxiv.0707.1449,
title = {Abstract homotopical methods for theoretical computer science},
author = {Philippe Gaucher},
journal= {arXiv preprint arXiv:0707.1449},
year = {2007}
}
Comments
16 pages; LaTeX2e; chapter of book