Related papers: On modules associated to coalgebra Galois extensio…

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 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…

Weak coalgebra-Galois extensions are studied. A notion of an invertible weak entwining structure is introduced. It is proven that, within an invertible weak entwining structure, the surjectivity of the canonical map implies bijectivity…

The notion of a coalgebra-Galois extension is defined as a natural generalisation of a Hopf-Galois extension. It is shown that any coalgebra-Galois extension induces a unique entwining map $\psi$ compatible with the right coaction. For the…

Galois comodules of a coring are studied. The conditions for a simple comodule to be a Galois comodule are found. A special class of Galois comodules termed principal comodules is introduced. These are defined as Galois comodules that are…

A theory of monoids in the category of bicomodules of a coalgebra $C$ or $C$-rings is developed. This can be viewed as a dual version of the coring theory. The notion of a matrix ring context consisting of two bicomodules and two maps is…

{\em Galois comodules} over a coring can be characterised by properties of the relative injective comodules. They motivated the definition of {\em Galois functors} over some comonad (or monad) on any category and in the first section of the…

Generalising the notion of Galois corings, Galois comodules were introduced as comodules $P$ over an $A$-coring $\cC$ for which $P_A$ is finitely generated and projective and the evaluation map $\mu_\cC:\Hom^\cC(P,\cC)\ot_SP\to \cC$ is an…

We investigate criteria for algebra extensions that are of Galois type with respect to the coaction of a Hopf algebra or, more generally, a one-sided quotient of a Hopf algebra, or with respect to an entwining. We study the module- and…

Given a ring $A$ and an $A$-coring $\cC$ we study when the forgetful functor from the category of right $\cC$-comodules to the category of right $A$-modules and its right adjoint $-\otimes_A\cC$ are separable. We then proceed to study when…

Consider a reflection from a finitely-complete category $\mathbb{C}$ into its full subcategory $\mathbb{M}$, with unit $\eta :1_\mathbb{C}\rightarrow HI$. Suppose there is a left-exact functor $U$ into the category of sets, such that $UH$…

We study module like objects over categorical quotients of algebras by the action of coalgebras with several objects. These take the form of ``entwined comodules'' and ``entwined contramodules'' over a triple $(\mathscr C,A,\psi)$, where…

The relation between crossed product and $H$-Galois extension in braided tensor category ${\cal C}$ with equivalisers and coequivalisers is established. That is, it is shown that if there exist an equivaliser and a coequivaliser for any two…

Given a small category C, a C-module M is a functor from C to the category of finite-dimensional vector spaces over a field k. Associated to M is its local structure, given as a functor from C to the category of bi-closed multi-flags over…

We define a Galois structure on the category of pairs of equivalence relations in an exact Mal'tsev category, and characterize central and double central extensions in terms of higher commutator conditions. These results generalize both the…

The aim of this paper is to introduce and to investigate the analogues of torsors for compact quantum groups and to study their role in representation theory. Let A be a unitarizable Hopf *-algebra: we show that there is a category…

Given a ring object $A$ in a symmetric monoidal category, we investigate what it means for the extension $\mathbb{1}\rightarrow A$ to be (quasi-)Galois. In particular, we define splitting ring extensions and examine how they occur.…

In this paper we introduce an inverse semigroup $\mathcal{S}(E,C)$ associated to a separated graph $(E,C)$ and describe its internal structure. In particular we show that it is strongly $E^*$-unitary and can be realized as a partial…

Given a braided tensor *-category C with conjugate (dual) objects and irreducible unit together with a full symmetric subcategory S we define a crossed product C\rtimes S. This construction yields a tensor *-category with conjugates and an…

Two cochain complexes are constructed for an algebra A and a coalgebra C entwined with each other via the map $\psi:C\otimes A\to A\otimes C$. One complex is associated to an A-bimodule, the other to a C-bicomodule. In the former case the…