Related papers: An axiomatic characterization of Steenrod's cup-$i…
We prove that the cup product of $\Delta$-decomposable quasimorphisms, Brooks quasimorphisms or Rolli quasimorphisms with any bounded cohomology class of arbitrary positive degree is trivial.
In this paper, we extend earlier work by showing that if $X$ and $Y$ are simplicial complexes (i.e. simplicial sets whose simplices are determined by their vertices), a morphism $g:N(X)\to N(Y)$ of Steenrod coalgebras (normalized…
We present here a combinatorial method for computing cup-$i$ products and Steenrod squares of a simplicial set $X$. This method is essentially based on the determination of explicit formulae for the component morphisms of a higher diagonal…
Operations on the cohomology of spaces are important tools enhancing the descriptive power of this computable invariant. For cohomology with mod 2 coefficients, Steenrod squares are the most significant of these operations. Their effective…
We present a simple extension of the classical Hilton-Eckmann argument classically used to prove that the endomorphism monoid of the unit object in a monoidal category is commutative. It allows us to recover in a uniform way well-known…
The purpose of this paper is to show that various convolution products are fully homotopical, meaning that they preserve weak equivalences in both variables without any cofibrancy hypothesis. We establish this property for diagrams of…
It was proved that for any finite set of elements of a free product of residually finite groups such that no two of them belong to conjugate cyclic subgroups and each of them do not belong to a subgroup which is conjugate a to free factor…
In this note, we extend earlier work by showing that if $X$ and $Y$ are delta-complexes (i.e. simplicial sets without degeneracy operators), a morphism $g:N(X)\to N(Y)$ of Steenrod coalgebras (normalized chain-complexes equipped with extra…
This paper proves that the homotopy type of a pointed, simply-connected, 2-reduced simplicial set is determined by the chain-complex augmented by functorial diagonal and higher diagonal maps (a simple generalization of the ones used to…
This article investigates the isomorphism problem for graphs derived from the four standard graph products: Cartesian, Kronecker (direct), strong, and lexicographic product. We provide a complete characterization of all simple connected…
It is known that the canonical double cover of any connected nonbipartite graph have an automorphism group of the form $H \rtimes \mathbb{Z}_2$, where $H$ is the set of automorphism which preserve bipartite parts. We construct connected…
In Homotopy Type Theory, few constructions have proved as troublesome as the smash product. While its definition is just as direct as in classical mathematics, one quickly realises that in order to define and reason about functions over…
We provide a treatment of isomorphism within a set-theoretic formulation of dependent type theory. Type expressions are assigned their natural set-theoretic compositional meaning. Types are divided into small and large types --- sets and…
We consider the problem of characterizing isomorphisms of types, or, equivalently, constructive cardinality of sets, in the simultaneous presence of disjoint unions, Cartesian products, and exponentials. Mostly relying on results about…
A homomorphism from a completely metrizable topological group into a free product of groups whose image is not contained in a factor of the free product is shown to be continuous with respect to the discrete topology on the range. In…
Motivated by the construction of Steenrod cup-$i$ products in the singular cochain algebra of a space and in the algebra of non-commutative differential forms, we define a category of binomial cup-one differential graded algebras over the…
For any 1-reduced simplicial set $K$ we define a canonical, coassociative coproduct on $\Om C(K)$, the cobar construction applied to the normalized, integral chains on $K$, such that any canonical quasi-isomorphism of chain algebras from…
We prove an "abelian, locally compact" Whitehead theorem in fine shape: A fine shape morphism between locally connected finite-dimensional locally compact separable metrizable spaces with trivial $\pi_0$ and $\pi_1$ is a fine shape…
Let G be a finite group. We show that the rational homotopy groups of symmetric products of the G-equivariant sphere spectrum are naturally isomorphic to the rational homology groups of certain subcomplexes of the subgroup lattice of G.
We prove various reconstruction theorems about open subsets of normed spaces. E.g. if the uniformly continuous homeomorphism groups of two such sets are isomorphic, then this isomorphism is induced by a uniformly continuous homeomorphism…