Results 1  10
of
44
Diagonals on the Permutahedra, Multiplihedra and associahedra
 J. HOMOLOGY, HOMOTOPY AND APPL
, 2004
"... We construct an explicit diagonal ∆P on the permutahedra P. Related diagonals on the multiplihedra J and the associahedra K are induced by Tonks ’ projection P → K [19] and its factorization through J. We introduce the notion of a permutahedral set Z and lift ∆P to a diagonal on Z. We show that the ..."
Abstract

Cited by 46 (10 self)
 Add to MetaCart
We construct an explicit diagonal ∆P on the permutahedra P. Related diagonals on the multiplihedra J and the associahedra K are induced by Tonks ’ projection P → K [19] and its factorization through J. We introduce the notion of a permutahedral set Z and lift ∆P to a diagonal on Z. We show that the double cobar construction Ω²C∗(X) is a permutahedral set; consequently ∆P lifts to a diagonal on Ω²C∗(X). Finally, we apply the diagonal on K to define the tensor product of A∞(co)algebras in maximal generality.
The compression theorem
 I., Geom. Topol
"... This the first of a set of three papers about the Compression Theorem: if M m is embedded in Q q × R with a normal vector field and if q − m ≥ 1, then the given vector field can be straightened (ie, made parallel to the given R direction) by an isotopy of M and normal field in Q × R. The theorem can ..."
Abstract

Cited by 38 (14 self)
 Add to MetaCart
(Show Context)
This the first of a set of three papers about the Compression Theorem: if M m is embedded in Q q × R with a normal vector field and if q − m ≥ 1, then the given vector field can be straightened (ie, made parallel to the given R direction) by an isotopy of M and normal field in Q × R. The theorem can be deduced from Gromov’s theorem on directed embeddings [5; 2.4.5 (C ′)] and is implicit in the preceeding discussion. Here we give a direct proof that leads to an explicit description of the finishing embedding. In the second paper in the series we give a proof in the spirit of Gromov’s proof and in the third part we give applications.
Combinatorics Of Branchings In Higher Dimensional Automata
 Theory Appl. Categ
, 2001
"... We explore the combinatorial properties of the branching areas of execution paths in higher dimensional automata. Mathematically, this means that we investigate the combinatorics of the negative corner (or branching) homology of a globular #category and the combinatorics of a new homology theory ca ..."
Abstract

Cited by 35 (9 self)
 Add to MetaCart
(Show Context)
We explore the combinatorial properties of the branching areas of execution paths in higher dimensional automata. Mathematically, this means that we investigate the combinatorics of the negative corner (or branching) homology of a globular #category and the combinatorics of a new homology theory called the reduced branching homology. The latter is the homology of the quotient of the branching complex by the subcomplex generated by its thin elements. Conjecturally it coincides with the non reduced theory for higher dimensional automata, that is #categories freely generated by precubical sets. As application, we calculate the branching homology of some #categories and we give some invariance results for the reduced branching homology. We only treat the branching side. The merging side, that is the case of merging areas of execution paths is similar and can be easily deduced from the branching side.
A canonical enriched AdamsHilton model for simplicial sets
, 2005
"... For any 1reduced simplicial set K we define a canonical, coassociative coproduct on ΩC(K), the cobar construction applied to the normalized, integral chains on K, such that any canonical quasiisomorphism of chain algebras from ΩC(K) to the normalized, integral chains on GK, the loop group of K, i ..."
Abstract

Cited by 18 (16 self)
 Add to MetaCart
For any 1reduced simplicial set K we define a canonical, coassociative coproduct on ΩC(K), the cobar construction applied to the normalized, integral chains on K, such that any canonical quasiisomorphism of chain algebras from ΩC(K) to the normalized, integral chains on GK, the loop group of K, is a coalgebra map up to strong homotopy. Our proof relies on the operadic description of the category of chain coalgebras and of strongly homotopy coalgebra maps given in [HPS].
The generalized Baues problem
, 1998
"... Abstract. We survey the generalized Baues problem of Billera and Sturmfels. The problem is one of discrete geometry and topology, and asks about the topology of the set of subdivisions of a certain kind of a convex polytope. Along with a discussion of most of the known results, we survey the motivat ..."
Abstract

Cited by 17 (0 self)
 Add to MetaCart
Abstract. We survey the generalized Baues problem of Billera and Sturmfels. The problem is one of discrete geometry and topology, and asks about the topology of the set of subdivisions of a certain kind of a convex polytope. Along with a discussion of most of the known results, we survey the motivation for the problem and its relation to triangulations, zonotopal tilings, monotone paths in linear programming, oriented matroid Grassmannians, singularities, and homotopy theory. Included are several open questions and problems. 1.
From Operads to `Physically' Inspired Theories
"... Introduction As evidenced by these conferences (Hartford and Luminy), operads have had a renaissance in recent years for a variety of reasons. Originally studied entirely as a tool in homotopy theory, operads have recently received new inspirations from homological algebra, category theory, algebra ..."
Abstract

Cited by 14 (1 self)
 Add to MetaCart
Introduction As evidenced by these conferences (Hartford and Luminy), operads have had a renaissance in recent years for a variety of reasons. Originally studied entirely as a tool in homotopy theory, operads have recently received new inspirations from homological algebra, category theory, algebraic geometry and mathematical physics. I'll try to provide a transition from the foundations to the frontier with mathematical physics. For me, the transition occurred in two stages. First, there is the generalization of Lie algebra cohomology known as BRST (BecchiRouetStora Tyutin) cohomology, which turned out to be very closely related to strong homotopy Lie (L1 ) algebras, which I will describe later in homological algebraic terms  along the lines of Balavoine's talk at this conference [5]. That description makes no use of operads, but the relevance of operads appeared later in the work of Hinich and Schechtman [25]. Operads rev
A cubical model of a fibration
 J. Pure Appl. Algebra
"... Abstract. In the paper the notion of a truncating twisting function from a simplicial set to a cubical set and the corresponding notion of twisted Cartesian product of these sets are introduced. The latter becomes a cubical set. This construction together with the theory of twisted tensor products f ..."
Abstract

Cited by 11 (9 self)
 Add to MetaCart
(Show Context)
Abstract. In the paper the notion of a truncating twisting function from a simplicial set to a cubical set and the corresponding notion of twisted Cartesian product of these sets are introduced. The latter becomes a cubical set. This construction together with the theory of twisted tensor products for homotopy Galgebras allows to obtain multiplicative models for fibrations. 1.