Related papers: Homotopy Inner Products for Cyclic Operads
Given a unital action $\theta $ of an inverse monoid $S$ on an algebra $A$ over a filed $K$ we produce (co)homology spectral sequences which converge to the Hochschild (co)homology of the crossed product $A\rtimes_\theta S$ with values in a…
We will extend the classical derived bracket construction to any algebra over a binary quadratic operad. We will show that the derived product construction is a functor given by the Manin white product with the operad of permutation…
The aim of this paper is to show that homotopy pro-nilpotent structured ring spectra are TQ-local, where structured ring spectra are described as algebras over a spectral operad O. Here, TQ is short for topological Quillen homology, which…
This semi-expository work covers central aspects of the theory of relative tensor products as developed in Higher Algebra, as well as their application to Koszul duality for algebras in monoidal oo-categories. Part of our goal is to expand…
Suppose $k$ is a finite field, that $C$ is a smooth projective geometrically irreducible curve over $k$, and that $n$ is a positive integer not divisible by the characteristic of $k$. In this paper we compute cup products of elements of the…
The purpose of this paper is to show how Positselski's relative nonhomogeneous Koszul duality theory applies when studying the linear category underlying the PROP associated to a (non-augmented) operad of a certain form, in particular…
We introduce the notion of a strongly homotopy-comultiplicative resolution of a module coalgebra over a chain Hopf algebra, which we apply to proving a comultiplicative enrichment of a well-known theorem of Moore concerning the homology of…
This manuscript develops a geometric approach to ordinary cohomology of smooth manifolds, constructing a cochain complex model based on co-oriented smooth maps from manifolds with corners. Special attention is given to the pull-back product…
A quadratic algebra is a homogeneous algebra generated by its elements of degree 1. Manin has endowed the category of quadratic algebras with two tensor products. These structures have been adapted to operads by Ginsburg and Kapranov.…
In the present paper the cyclic homology functor from the category of $A_\infty$-algebras over any commutative unital ring $K$ to the category of graded $K$-modules is constructed. Further, it is showed that this functor sends homotopy…
A coproduct on a vector space $A$ is defined as a linear map $\Delta:A\to A\otimes A$ satisfying coassociativity $(\Delta\otimes\iota)\Delta=(\iota\otimes\Delta)\Delta$. We use $\iota$ for the identity map. If $G$ is a finite group and if…
We show how the classical notions of cohomology with local coefficients, CW-complex, covering space, homeomorphism equivalence, simple homotopy equivalence, tubular neighbourhood, and spinning can be encoded on a computer and used to…
This paper is the first of two articles which develop the notion of protoperads. In this one, we construct a new monoidal product on the category of reduced S-modules. We study the associated monoids, called protoperads, which are a…
This paper explores the cup and cap products within the cohomology and homology groups of ample groupoids, focusing on their applications and fundamental properties. Ample groupoids, which are \'etale groupoids with a totally disconnected…
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…
The set of cochain multioperations defining Steenrod $\smile_i$-products in the bar construction is constructed in terms of surjection operad. This structure extends a Homotopy G-algebra structure which defines just the $\cup $ on the bar…
Given a finite quandle, we introduce a quandle homotopy invariant of knotted surfaces in the 4-sphere, modifying that of classical links. This invariant is valued in the third homotopy group of the quandle space, and is universal among the…
In this paper, we introduce the cohomology theory of $\mathcal{O}$-operators on Hom-associative algebras. This cohomology can also be viewed as the Hochschild cohomology of a certain Hom-associative algebra with coefficients in a suitable…
We construct cohomology classes in the space of knots by considering a bundle over this space and "integrating along the fiber" classes coming from the cohomology of configuration spaces using a Pontrjagin-Thom construction. The bundle we…
This paper investigates Rota-Baxter associative algebras of of arbitrary weights, that is, associative algebras endowed with Rota-Baxter operators of arbitrary weights from an operadic viewpoint. Denote by $\RB$ the operad of Rota-Baxter…