This paper investigates connections between algebraic structures that are common in theoretical computer science and algebraic logic. Idempotent semirings are the basis of Kleene algebras, relation algebras, residuated lattices and bunched implication algebras. Extending a result of Chajda and Länger, we show that involutive residuated lattices are determined by a pair of dually isomorphic idem...

We introduce the concept of extended Hopf algebras and define their cyclic cohomology in the spirit of Connes-Moscovici cyclic cohomology for Hopf algebras. Extended Hopf algebras are closely related to, but different from, Hopf algebroids. Their definition is motivated by attempting to define a cyclic cohomology theory for Hopf algebroids in general. We show that many of Hopf algebraic structu...

We define a new cyclic module, dual to the Connes-Moscovici cyclic module, for Hopf algebras, and give a characteristric map for coactions of Hopf algebras. We also compute the resulting cyclic homology for cocommutative Hopf algebras, and some quantum groups.

We generalise the known excision results for Hochschild, cyclic and periodic cyclic homology to algebras in symmetric monoidal categories. Our abstract result also contains excision for extensions of nuclear H-unital Fréchet algebras. As an application, we compute the Hochschild and cyclic homology of the algebra of Whitney functions on an arbitrary closed subset of a smooth manifold, and the p...

We discuss general properties of A∞-algebras and their applications to the theory of open strings. The properties of cyclicity for A∞-algebras are examined in detail. We prove the decomposition theorem, which is a stronger version of the minimal model theorem, for A∞algebras and cyclic A∞-algebras and discuss various consequences of it. In particular it is applied to classical open string field...

In this paper, we will study the theory of cyclic homology for regular multiplier Hopf algebras. We associate a cyclic module to a triple $(mathcal{R},mathcal{H},mathcal{X})$ consisting of a regular multiplier Hopf algebra $mathcal{H}$, a left $mathcal{H}$-comodule algebra $mathcal{R}$, and a unital left $mathcal{H}$-module $mathcal{X}$ which is also a unital algebra. First, we construct a para...

The Hochschild and (cotriple) cyclic homologies of crossed modules of (notnecessarily-unital) associative algebras are investigated. Wodzicki’s excision theorem is extended for inclusion crossed modules in the category of crossed modules of algebras. The cyclic and cotriple cyclic homologies of crossed modules are compared in terms of long exact homology sequence, generalising the relative cycl...

We compute periodic, analytic and local cyclic cohomology for convolution algebras of compact Lie groups in order to exhibit differences between these theories. A surprising result is that the periodic and analytic cyclic cohomology of the smooth convolution algebras differ, although these algebras have finite homological dimension.

Inspired by [3] we introduce the concept of extended Hopf algebra and consider their cyclic cohomology in the spirit of Connes-Moscovici [3, 4, 5]. Extended Hopf algebras are closely related, but different from, Hopf algebroids. Their definition is motivated by attempting to define cyclic cohomology of Hopf algebroids in general. Many of Hopf algebra like structures, including the Connes-Moscov...