Abstract homotopical methods for theoretical computer science

Details Abstract homotopical methods for theoretical computer science Abstract homotopical methods for theoretical computer science

2007-07-10

arxiv.org/abs/0707.1449v1

Mathematics

Algebraic Topology

16 pages; LaTeX2e; chapter of book

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Abstract homotopical methods for theoretical computer science does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Abstract homotopical methods for theoretical computer science, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Abstract homotopical methods for theoretical computer science will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-453747