vix.ing · top · new · best · stats · spec

Abstract homotopical methods for theoretical computer science

2007/07/10 by Philippe Gaucher, Gaucher, Philippe
Computer Science · Mathematics · #18G55 #55P65 #55U35 #68Q85 #Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Mathematics #Geometric and Algebraic Topology #Homotopy and Cohomology in Algebraic Topology #Topological and Geometric Data Analysis #math.AT #math.CT #msc:18G55 #msc:55P65 #msc:55U35 #msc:68Q85

paper · pdf · doi:10.48550/arxiv.0707.1449

16 pages; LaTeX2e; chapter of book

arxiv created 2007/07/10 · openalex publication_date 2007/07/10 · arxiv updated 2009/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

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.

Related