Related papers: The Hilton-Eckmann argument for cup-products
We show that the centralizer of a nonscalar element in the coproduct $k\langle X\rangle *k[Y]$ of a free associative algebra and a polynomial algebra over a given field is commutative. For $k\langle X \rangle$ this is part of Bergman's…
A folklore result in category theory is that a (weakly) Cartesian closed category with finite co-products is distributive. Usually, the proof of this small result is carried on using the fact that the exponential functor is right adjoint to…
We develop a theory of adjunctions in semigroup categories, i.e. monoidal categories without a unit object. We show that a rigid semigroup category is promonoidal, and thus one can naturally adjoin a unit object to it. This extends the…
We use the theory of twisted resolutions and twisted complexes to give a proof of Kontsevich's claim that Yoneda product corresponds to cup product in a canonical isomorphism from the Ext groups of the product space with coefficients in the…
We axiomatically define (pre-)Hilbert categories. The axioms resemble those for monoidal Abelian categories with the addition of an involutive functor. We then prove embedding theorems: any locally small pre-Hilbert category whose monoidal…
This paper gives a uniform-theoretic refinement of classical homotopy theory. Both cubical sets (with connections) and uniform spaces admit classes of weak equivalences, special cases of classical weak equivalences, appropriate for the…
We observe that Beck modules for a commutative monoid are exactly modules over a graded commutative ring associated to the monoid. Under this identification, the Quillen cohomology of commutative monoids is a special case of Andr\'e-Quillen…
We define a symmetric monoidal structure on the parametrised stable homotopy category over a base space with an action of an $E_\infty$ operad. We discuss products, orientations and push-forwards in parametrised cohomology theories…
We prove that, if $A$ is a positively graded, graded commutative, local, finite Hopf algebra, its cohomology is finitely generated, thus unifying classical results of Wilkerson and Hopkins-Smith, and of Friedlander-Suslin. We do this by…
We obtain variational formulas for holomorphic objects on Riemann surfaces with respect to arbitrary local coordinates on the moduli space of complex structures. These formulas are written in terms of a canonical object on the moduli space…
We study the existence of universal measuring comonoids $P(A,B)$ for a pair of monoids $A$, $B$ in a braided monoidal closed category, and the associated enrichment of a category of monoids over the monoidal category of comonoids. In…
A compact closed bicategory is a symmetric monoidal bicategory where every object is equipped with a weak dual. The unit and counit satisfy the usual "zig-zag" identities of a compact closed category only up to natural isomorphism, and the…
We construct comparison morphisms between two well-known projective resolutions of a monomial algebra $A$: the bar resolution and Bardzell's resolution; the first one is used to define the cup product and the Lie bracket on the Hochschild…
We first study commutative, pointed monoids providing basic definitions and results in a manner similar commutative ring theory. Included are results on chain conditions, primary decomposition as well as normalization for a special class of…
Based on an idea of Y. P\'eresse and some results of Maltcev, Mitchell and Ru\v{s}kuc, we present sufficient conditions under which the endomorphism monoid of a countably infinite ultrahomogeneous first-order structure has the Bergman…
We briefly report on our result that, if there exists a realization of a Hopf algebra $H$ in a $H$-module algebra $A$, then their cross-product is equal to the product of $A$ itself with a subalgebra isomorphic to $H$ and commuting with…
The commutative Hopf monoid of set compositions is a fundamental Hopf monoid internal to vector species, having undecorated bosonic Fock space the combinatorial Hopf algebra of quasisymmetric functions. We construct a geometric realization…
We show that, if there exists a realization of a Hopf algebra $H$ in a $H$-module algebra $A$, then one can split their cross-product into the tensor product algebra of $A$ itself with a subalgebra isomorphic to $H$ and commuting with $A$.…
We prove a conjecture of Bahri, Bendersky, Cohen and Gitler: if K is a shifted simplicial complex on n vertices, X_1,..., X_n are spaces and CX_i is the cone on X_i, then the polyhedral product determined by K and the pairs (CX_i,X_i) is…
The stable category of modules over the algebra of a finite group with coefficients in a field is a compactly generated tensor triangulated category, that has been studied extensively in representation theory. In this paper, we provide a…