Related papers: Entwined comodules and contramodules over coalgebr…
Entwined modules over cowreaths in a monoidal category are introduced. They can be identified to coalgebras in an appropriate monoidal category. It is investigated when such coalgebras are Frobenius (resp. separable), and when the forgetful…
We study and relate categories of modules, comodules and contramodules over a representation of a small category taking values in (co)algebras, in a manner similar to modules over a ringed space. As a result, we obtain a categorical…
Firm Frobenius algebras are firm algebras and counital coalgebras such that the comultiplication is a bimodule map. They are investigated by categorical methods based on a study of adjunctions and lifted functors. Their categories of…
Entwined modules arose from the coalgebra-Galois theory. They are a generalisation of unified Doi-Hopf modules. In this paper, Frobenius properties and Maschke-type theorems, known for Doi-Hopf modules are extended to the case of entwined…
This paper is a fundamental study of comodules and contramodules over a comonoid in a symmetric closed monoidal category. We study both algebraic and homotopical aspects of them. Algebraically, we enrich the comodule and contramodule…
We study when induction functors (and their adjoints) between categories of Doi-Hopf modules and, more generally, entwined modules are separable, resp. Frobenius. We present a unified approach, leading to new proofs of old results by the…
In this paper, we study modules over quotient spaces of certain categorified fiber bundles. These are understood as modules over entwining structures involving a small $K$-linear category $\mathcal D$ and a $K$-coalgebra $C$. We obtain…
We introduce a theory of modules over a representation of a small category taking values in entwining structures over a semiperfect coalgebra. This takes forward the aim of developing categories of entwined modules to the same extent as…
We study the noncommutative base change of an entwining structure $(A,C,\psi)$ by a Grothendieck category $\mathfrak S$, using two module like categories. These are the categories of entwined comodule objects and entwined contramodule…
An algebraic system is proposed that represent surface cobordisms in thickened surfaces. Module and comodule structures over Frobenius algebras are used for representing essential curves. The proposed structure gives a unified algebraic…
In this paper we will investigate contramodules for algebraic groups. Namely, we give contra-analogs to two 20th century results about comodules. Firstly, we show that induction of contramodules over coordinate rings of algebraic groups is…
We develop filtered-graded techniques for algebras in monoidal categories with the main goal of establishing a categorical version of Bongale's 1967 result: A filtered deformation of a Frobenius algebra over a field is Frobenius as well.…
This is an introduction to double algebras which is the structure modelled by the properties of the convolution product in Hopf algebras, weak Hopf algebras and in Hopf algebroids. We show that Hopf algebroids with a Frobenius integral can…
We introduce the notion of a contramodule over a cocommutative coalgebra in a presentably symmetric monoidal $\infty$-category $\mathcal{C}$, and prove a symmetric monoidal $\infty$-categorical version of Positselski's comodule-contramodule…
We introduce the dual notions of $\mathcal{E}(\mathcal{X},M,\mathcal{Y})$ and $\mathcal{M}(\mathcal{X},M,\mathcal{Y})$, and investigate when they have enough injective objects or projective objects, when they are resolving or co-resolving,…
Consider two non-degenerate algebras B and C over the complex numbers. We study a certain class of idempotent elements E in the multiplier algebra of the tensor product of B with C, called separability idempotents. The conditions include…
We study the monoidal dagger category of Hilbert C*-modules over a commutative C*-algebra from the perspective of categorical quantum mechanics. The dual objects are the finitely presented projective Hilbert C*-modules. Special dagger…
Frobenius' Theorem states that the algebra of quaternions $\mathbb H$ is, besides the fields of real and complex numbers, the only finite-dimensional real division algebra. We first give a short elementary proof of this theorem, then…
We consider representations of quivers taking values in monads or comonads over a Grothendieck category $\mathcal C$. We treat these as scheme like objects whose ``structure sheaf'' consists of monads or comonads. By using systems of…
Let $A$ be a ring and $\M_A$ the category of $A$-modules. It is well known in module theory that for any $A $-bimodule $B$, $B$ is an $A$-ring if and only if the functor $-\otimes_A B: \M_A\to \M_A$ is a monad (or triple). Similarly, an $A…