Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 0707.1449

Abstract homotopical methods for theoretical computer science

Philippe Gaucher
View original source ↗Read source document ↗Export metadata ↓

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.

Explore related subjects

math.ATmath.CT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Philippe Gaucher. 2007-07-10. Abstract homotopical methods for theoretical computer science. https://arxiv.org/abs/0707.1449

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Topological Hochschild homology of truncated Brown-Peterson spectra II

We compute topological Hochschild homology of $\mathbb{E}_3$-MU-algebra forms of the second truncated Brown-Peterson spectrum with Adams summand coefficients at $p=2$ and conditionally at arbitrary primes. We also provide a new computational tool, a variant of the Brun spectral sequence, for computing topological Hochschild homology of truncated Brown-Peterson spectra with certain coefficients. As a consequence, we show that $\mathbb{E}_3$-MU-algebra forms of truncated Brown-Peterson spectra $\mathrm{BP}\langle n\rangle$ are not Thom spectra at the prime $p=2$ for any $n\ge 2$.

math.AT↗
arXiv2026

Saturated directed spaces and generalized clocks

We construct a Hausdorff saturated directed space whose directed path space between two distinct points has nontrivial fundamental group although the corresponding trace space is a square. A clock is a directed space with submetrizable underlying space; a timed space is a saturated directed space equipped with a regular directed map to a clock. Over every fixed clock, timed spaces form a locally presentable category, and their quotients from paths to traces are trivial Hurewicz fibrations with continuous sections. For Hausdorff saturated directed spaces whose compact subspaces are metrizable, these quotients are trivial q-fibrations. We construct a globular clock containing the directed circle and admitting regular maps from all q-cofibrant globular realizations, whereas a finite cellular example admits no regular map to the circle. Normalization also gives a proof of the quotient theorem for execution paths and establishes the homotopy lifting property for nondecreasing reparametrizations.

math.AT↗
arXiv2026

Non-simply connected Poincaré surgery

We give homotopy-theoretic proofs of the principal results of non-simply connected Poincaré surgery. These include the Fundamental Theorem of Poincaré surgery, the Poincaré transversality exact sequence, and the construction of Poincaré handle structures. All results apply in dimensions~$\ge 8$.

math.AT↗