Results 1  10
of
21
From Concurrency to Algebraic Topology
, 2000
"... This paper is a survey of the new notions and results scattered in [13], [11] and [12]. Starting from a formalization of higher dimensional automata (HDA) by strict globular !categories, the construction of a diagram of simplicial sets over the threeobject small category gl ! + is exposed. Some of ..."
Abstract

Cited by 25 (8 self)
 Add to MetaCart
This paper is a survey of the new notions and results scattered in [13], [11] and [12]. Starting from a formalization of higher dimensional automata (HDA) by strict globular !categories, the construction of a diagram of simplicial sets over the threeobject small category gl ! + is exposed. Some of the properties discovered so far on the corresponding simplicial homology theories are explained, in particular their links with geometric problems coming from concurrency theory in computer science.
Algebraic invariants for homotopy types
 Math. Proc. Cambridge Philos. Soc
, 1999
"... Abstract. We define a sequence of purely algebraic invariants – namely, classes in the Quillen cohomology of the Πalgebra π∗X – for distinguishing between different homotopy types of spaces. Another sequence of such cohomology classes allows one to decide whether a given abstract Πalgebra can be r ..."
Abstract

Cited by 11 (5 self)
 Add to MetaCart
(Show Context)
Abstract. We define a sequence of purely algebraic invariants – namely, classes in the Quillen cohomology of the Πalgebra π∗X – for distinguishing between different homotopy types of spaces. Another sequence of such cohomology classes allows one to decide whether a given abstract Πalgebra can be realized as the homotopy Πalgebra of a space. 1.
Moduli problems for structured ring spectra
 DANIEL DUGGER AND BROOKE
, 2005
"... In this document we make good on all the assertions we made in the previous paper “Moduli spaces of commutative ring spectra ” [20] wherein we laid out a theory a moduli spaces and problems for the existence and uniqueness of E∞ring spectra. In that paper, we discussed the the HopkinsMiller theore ..."
Abstract

Cited by 11 (0 self)
 Add to MetaCart
In this document we make good on all the assertions we made in the previous paper “Moduli spaces of commutative ring spectra ” [20] wherein we laid out a theory a moduli spaces and problems for the existence and uniqueness of E∞ring spectra. In that paper, we discussed the the HopkinsMiller theorem on the LubinTate or Morava spectra En; in particular, we showed how to prove that the moduli space of all E ∞ ring spectra X so that (En)∗X ∼ = (En)∗En as commutative (En) ∗ algebras had the homotopy type of BG, where G was an appropriate variant of the Morava stabilizer group. This is but one point of view on these results, and the reader should also consult [3], [38], and [41], among others. A point worth reiterating is that the moduli problems here begin with algebra: we have a homology theory E ∗ and a commutative ring A in E∗E comodules and we wish to discuss the homotopy type of the space T M(A) of all E∞ring spectra so that E∗X ∼ = A. We do not, a priori, assume that T M(A) is nonempty, or even that there is a spectrum X so that E∗X ∼ = A as comodules.
Realizing Commutative Ring Spectra as E∞ Ring Spectra
, 1999
"... We outline an obstruction theory for deciding when a homotopy commutative and associative ring spectrum is actually an E∞ ring spectrum. The obstruction groups are AndréQuillen cohomology groups of an algebra over an E∞ operad. The same cohomology theory is part of a spectral sequence for comput ..."
Abstract

Cited by 9 (2 self)
 Add to MetaCart
We outline an obstruction theory for deciding when a homotopy commutative and associative ring spectrum is actually an E∞ ring spectrum. The obstruction groups are AndréQuillen cohomology groups of an algebra over an E∞ operad. The same cohomology theory is part of a spectral sequence for computing the homotopy type of mapping spaces between E∞ ring spectrum. The obstruction theory arises out of techniques of Dwyer, Kan, and Stover, and the main application here is to prove an analog of a theorem of Haynes Miller and the second author: the LubinTate spectra En are E∞ and the space of E∞ selfmaps has weakly contractible components.
Postnikov extensions for ring spectra
, 2006
"... We give a functorial construction of kinvariants for ring spectra, and use these to classify extensions in the Postnikov tower of a ring spectrum. ..."
Abstract

Cited by 9 (3 self)
 Add to MetaCart
We give a functorial construction of kinvariants for ring spectra, and use these to classify extensions in the Postnikov tower of a ring spectrum.
Investigating The Algebraic Structure of Dihomotopy Types
, 2001
"... 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 focuses precisely on detailing some of its aspects. The main ..."
Abstract

Cited by 8 (1 self)
 Add to MetaCart
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 focuses precisely on detailing some of its aspects. The main idea is that the category of homotopy types can be embedded in a new category of dihomotopy types, the embedding being realized by the Globe functor. In this latter category, isomorphism classes of objects are exactly higher dimensional automata up to deformations leaving invariant their computer scientific properties as presence or not of deadlocks (or everything similar or related). Some hints to study the algebraic structure of dihomotopy types are given, in particular a rule to decide whether a statement/notion concerning dihomotopy types is or not the lifting of another statement/notion concerning homotopy types. This rule does not enable to guess what is the lifting of a given notion/statement, it only enables to make the verification, once the lifting has been found.
Stratified fibre bundles
, 2003
"... A stratified bundle is a fibered space in which strata are classical bundles and in which attachment of strata is controlled by a structure category F of fibers. Well known results on fibre bundles are shown to be true for stratified bundles; namely the pull back theorem, the bundle theorem and the ..."
Abstract

Cited by 2 (2 self)
 Add to MetaCart
(Show Context)
A stratified bundle is a fibered space in which strata are classical bundles and in which attachment of strata is controlled by a structure category F of fibers. Well known results on fibre bundles are shown to be true for stratified bundles; namely the pull back theorem, the bundle theorem and the principal bundle theorem. AMS SC: 55R55 (Fiberings with singularities); 55R65 (Generalizations of fiber spaces and bundles); 55R70 (Fiberwise topology); 55R10 (Fibre bundles); 18F15 (Abstract manifolds and fibre bundles); 54H15 (Transformation groups and semigroups); 57S05 (Topological properties of groups of homeomorphisms or diffeomorphisms).
The Realization Space of a Πalgebra: A Moduli Problem in Algebraic Topology
, 2001
"... The homotopy theory of topological spaces is often studied by appealing to algebraic data  cohomology, for example, or homotopy groups. This leads to a general realization problem: when can a specified object in algebra be realized by a space and, if so, how uniquely? We describe a very general me ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
The homotopy theory of topological spaces is often studied by appealing to algebraic data  cohomology, for example, or homotopy groups. This leads to a general realization problem: when can a specified object in algebra be realized by a space and, if so, how uniquely? We describe a very general method for addressing this problem, using as input a type of AndreQuillen cohomology. In this paper we concentrate on the realization problem for homotopy groups.
COMPARING HOMOTOPY CATEGORIES
, 2006
"... Abstract. Given a suitable functor T: C → D between model categories, we define a long exact sequence relating the homotopy groups of any X ∈ C with those of TX, and use this to describe an obstruction theory for lifting an object G ∈ D to C. Examples include finding spaces with given homology or ho ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
(Show Context)
Abstract. Given a suitable functor T: C → D between model categories, we define a long exact sequence relating the homotopy groups of any X ∈ C with those of TX, and use this to describe an obstruction theory for lifting an object G ∈ D to C. Examples include finding spaces with given homology or homotopy groups. A number of fundamental problems in algebraic topology can be described as measuring the extent to which a given functor T: C → D between model categories induces an equivalence of homotopy categories: more specifically, which objects (or maps) from D are in the image of T, and in how many different ways. For example:
STRENGTHENING TRACK THEORIES
, 2003
"... and on the secondary cohomology operations [4] is based on the “calculus of tracks”. One of the main tricks in [4] is to make some track theories strong. The aim of this and some subsequent papers is to shed more light on this procedure. In this paper we prove that ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
(Show Context)
and on the secondary cohomology operations [4] is based on the “calculus of tracks”. One of the main tricks in [4] is to make some track theories strong. The aim of this and some subsequent papers is to shed more light on this procedure. In this paper we prove that