代数拓扑

Globular CW-complexes and flows are both geometric models of concurrent processes which allow to model in a precise way the notion of dihomotopy. Dihomotopy is an equivalence relation which preserves computer-scientific properties like the…

A local po-space is a gluing of topological spaces which are equipped with a closed partial ordering representing the time flow. They are used as a formalization of higher dimensional automata which model concurrent systems in computer…

This presentation is the sequel of a paper published in GETCO'00 proceedings where a research program to construct an appropriate algebraic setting for the study of deformations of higher dimensional automata was sketched. This paper…

We show that a triangulated motivic category admits categorical Thom isomorphisms for vector bundles with an additional structure if and only if the generalized motivic cohomology theory represented by the tensor unit object admits Thom…

Working in homotopy type theory, we introduce the notion of $n$-exactness for a short sequence $F\to E\to B$ of pointed types, and show that any fiber sequence $F\hookrightarrow E \twoheadrightarrow B$ of arbitrary types induces a short…

We give combinatorial models for the homotopy type of complements of elliptic arrangements (i.e., certain sets of abelian subvarieties in a product of elliptic curves). We give a presentation of the fundamental group of such spaces and, as…

The purpose of this foundational paper is to introduce various notions and constructions in order to develop the homotopy theory for differential graded operads over any ring. The main new idea is to consider the action of the symmetric…

This paper proves that labelled flows are expressive enough to contain all process algebras which are a standard model for concurrency. More precisely, we construct the space of execution paths and of higher dimensional homotopies between…

We prove that the category of flows cannot be the underlying category of a model category whose corresponding homotopy types are the flows up to weak dihomotopy. Some hints are given to overcome this problem. In particular, a new approach…

We construct a cofibrantly generated model structure on the category of flows such that any flow is fibrant and such that two cofibrant flows are homotopy equivalent for this model structure if and only if they are S-homotopy equivalent.…

The branching (resp. merging) space functor of a flow is a left Quillen functor. The associated derived functor allows to define the branching (resp. merging) homology of a flow. It is then proved that this homology theory is a dihomotopy…

This paper introduces proximal homotopic cycles, which lead to the main results in this paper, namely, extensions of the Mitsuishi-Yamaguchi Good Coverning Theorem with different forms of Tanaka good cover of an Alexandrov space equipped…

This expository article gives a thorough and well-motivated account of the proof of the nilpotence theorem by Devinatz-Hopkins-Smith.

We provide a new description of logarithmic topological Andr\'e-Quillen homology in terms of the indecomposables of an augmented ring spectrum. The new description allows us to interpret logarithmic TAQ as an abstract cotangent complex, and…

Persistent homology is a leading tool in topological data analysis (TDA). Many problems in TDA can be solved via homological -- and indeed, linear -- algebra. However, matrices in this domain are typically large, with rows and columns…

In this paper, I introduce a new generalization of the concept of an operad, further generalizing the concept of an opetope introduced by Baez and Dolan, who used this for the definition of their version of non-strict $n$-categories.…

This paper lays some of the foundations for working with not-necessarily-commutative bialgebras and their categories of comodules in $\infty$-categories. We prove that the categories of comodules and modules over a bialgebra always admit…

Hess and Shipley defined an invariant of coalgebra spectra called topological coHochschild homology, and Bohmann-Gerhardt-H{\o}genhaven-Shipley-Ziegenhagen developed a coB\"okstedt spectral sequence to compute the homology of coTHH for…

For certain motivic spectra, we construct a square of spectral sequences relating the effective slice spectral sequence and the motivic Adams spectral sequence. We show the square can be constructed for connective algebraic K-theory,…

In this article we lay out the details of Fukaya's $A_\infty$-structure of the Morse complexe of a manifold possibly with boundary. We show that this $A_\infty$-structure is homotopically independent of the made choices. We emphasize the…