Abstract homotopical methods for theoretical computer science

Simple item page
dc.creatorGaucher, Philippe
dc.date2007-07-10
dc.date.accessioned2026-07-07T08:14:52Z
dc.date.available2026-07-07T08:14:52Z
dc.descriptionThe 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.
dc.description16 pages; LaTeX2e; chapter of book
dc.identifierhttps://arxiv.org/abs/0707.1449
dc.identifierhttp://arxiv.org/abs/0707.1449
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/133285
dc.subjectAlgebraic Topology
dc.subjectCategory Theory
dc.subject55U35 ; 18G55 ; 55P65 ; 68Q85
dc.titleAbstract homotopical methods for theoretical computer science
dc.typetext

Files

Collections

arXiv