Related papers: Monoidal Categories, 2-Traces, and Cyclic Cohomolo…
Starting with a self-dual Hopf algebra H in a braided monoidal category S we construct a Z/2Z-graded monoidal category C = C_0 + C_1. The degree zero component is the category Rep_S(H) of representations of H and the degree one component is…
Given a Hopf algebra A, there exist various cohomology theories for the category of Hopf bimodules over A, introduced by M. Gerstenhaber and S.D. Schack, and by C. Ospel. We prove, when A is finite dimensional, that they are equal to the…
We prove a conjecture of Morel identifying Voevodsky's homotopy invariant sheaves with transfers with spectra in the stable homotopy category which are concentrated in degree zero for the homotopy t-structure and have a trivial action of…
Given a crossed module $\chi$, we introduce Hopf $\chi$-(co)algebras which generalize Hopf algebras and Hopf group-(co)algebras. We interpret them as Hopf algebras in some symmetric monoidal category. We prove that their categories of…
In this dissertation we study the coefficients spaces (SAYD modules) of Hopf-cyclic cohomology theory over a certain family of bicrossed product Hopf algebras, and we compute the Hopf-cyclic cohomology of such Hopf algebras with…
A monoidal model category is a model category with a compatible closed monoidal structure. Such things abound in nature; simplicial sets and chain complexes of abelian groups are examples. Given a monoidal model category, one can consider…
We show that every braiding on a monoidal bicategory induces a monoidal structure on its bicategory of monoids, such that if the former is sylleptic or symmetric then the latter is braided or symmetric, respectively. This extends a classic…
The category-valued trace assigns to a bimodule category over a linear monoidal category a linear category. It generalizes Drinfeld centers of monoidal categories and the relative Deligne product of bimodule categories. In this article, we…
We prove a coherence theorem for invertible objects in a symmetric monoidal category. This is used to deduce associativity, skew-commutativity, and related results for multi-graded morphism rings, generalizing the well-known versions for…
Indexed symmetric monoidal categories are an important refinement of bicategories -- this structure underlies several familiar bicategories, including the homotopy bicategory of parametrized spectra, and its equivariant and fiberwise…
The Hochschild and (cotriple) cyclic homologies of crossed modules of (not-necessarily-unital) associative algebras are investigated. Wodzicki's excision theorem is extended for inclusion crossed modules in the category of crossed modules…
After recalling the definition of a bicoalgebroid, we define comodules and modules over a bicoalgebroid. We construct the monoidal category of comodules, and define Yetter--Drinfel'd modules over a bicoalgebroid. It is proved that the…
We define a tracelike transformation to be a natural family of conjugation invariant maps $T_{x,C}: hom_C(x,x) \to hom_C(1,1)$ for all dualisable objects $x$ in any symmetric monoidal infinity-category $C$. This generalises the trace from…
In this note, we outline the general development of a theory of symmetric homology of algebras, an analog of cyclic homology where the cyclic groups are replaced by symmetric groups. This theory is developed using the framework of crossed…
Skew monoidal categories are monoidal categories with non-invertible `coherence' morphisms. As shown in a previous paper bialgebroids over a ring R can be characterized as the closed skew monoidal structures on the category Mod R in which…
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…
In this report we give an intrinsic treatment of the results we developed in a previous work connecting the differential calculi on Hopf algebras to the Drinfeld double. In the first place we recover that bicovariant bimodules are in one to…
A quandle equipped with a good involution is referred to as symmetric. It is known that the cohomology of symmetric quandles gives rise to strong cocycle invariants for classical and surface links, even when they are not necessarily…
For a bialgebra $L$ coacting on a $\Bbbk$-algebra $A$, a classical result states that $A$ is a right $L$-comodule algebra if and only if $A$ is an algebra in the monoidal category $\mathcal{M}^{L}$ of right $L$-comodules; the former notion…
We show by a direct computation that, for any Hopf algebra with a modulus-like character, the formulas first introduced in [CM] in the context of characteristic classes for actions of Hopf algebras, do define a cyclic module. This provides…