BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Bachuki Mesablishvili contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
The aim of the paper is to give a full classification of factorizations of groups in terms of descent cohomology (pointed) sets introduced in [5]. We show that descent cohomology includes Serre's non-abelian group cohomology as a special case. This enables us to generalize Serre's theory further to include monoids.
Jean-Louis Loday has defined generalised bialgebras and proved structure theorems in this setting which can be seen as general forms of the Poincaré-Birkhoff-Witt and the Cartier-Milnor-Moore theorems. It was observed by the present authors that parts of the theory of generalised bialgebras are special cases of results on entwined monads and comonads and the corresponding mixed bimodules. In this article the Rigidity Theorem of Loday is extended to this more general categorical framework.
As shown in a previous paper by the same authors, the theory of Galois functors provides a categorical framework for the characterisation of bimonads on any category as Hopf monads and also for the characterisation of opmonoidal monads on monoidal categories as right Hopf monads in the sense of Bruguieres and Virelizier. Hereby the central part is to describe conditions under which a comparison functor between the base category and the category of Hopf modules becomes an equivalence (Fundamental Theorem). For monoidal categories, Aguiar and Chase extended the setting by replacing the base category by a comodule category for some comonoid and considering a comparison functor to generalised Hopf modules. For duoidal categories, Bohm, Chen and Zhang investigated a comparison functor to the Hopf modules over a bimonoid induced by the two monoidal structures given in such categories. In both approaches fundamental theorems are proved and the purpose of this paper is to show that these can be derived from the theory of Galois functors.
Yet another proof of the result asserting that a morphism of commutative rings is an effective descent morphism for modules if and only if it is pure is given. Moreover, it is shown that this result cannot be derived from Moerdijk's descent criterion.
For a generalisation of the classical theory of Hopf algebra over fields, A. Bruguières and A. Virelizier study opmonoidal monads on monoidal categories (which they called {\em bimonads}). In a recent joint paper with S. Lack the same authors define the notion of a {\em pre-Hopf monad} by requiring only a special form of the fusion operator to be invertible. In previous papers it was observed by the present authors that bimonads yield a special case %Hopf monads may be considered as a special case of an entwining of a pair of functors (on arbitrary categories). The purpose of this note is to show that in this setting the pre-Hopf monads are a special case of Galois entwinings. As a byproduct some new properties are detected which make a (general) bimonad on a Cauchy complete category to a Hopf monad. In the final section applications to cartesian monoidal categories are considered.
In the theory of coalgebras $C$ over a ring $R$, the rational functor relates the category of modules over the algebra $C^*$ (with convolution product) with the category of comodules over $C$. It is based on the pairing of the algebra $C^*$ with the coalgebra $C$ provided by the evaluation map $\ev:C^*\ot_R C\to R$. We generalise this situation by defining a {\em pairing} between endofunctors $T$ and $G$ on any category $\A$ as a map, natural in $a,b\in \A$, $$β_{a,b}:\A(a, G(b)) \to \A(T(a),b),$$ and we call it {\em rational} if these all are injective. In case $\bT=(T,m_T,e_T)$ is a monad and $\bG=(G,δ_G,\ve_G)$ is a comonad on $\A$, additional compatibility conditions are imposed on a pairing between $\bT$ and $\bG$. If such a pairing is given and is rational, and $\bT$ has a right adjoint monad $\bT^\di$, we construct a {\em rational functor} as the functor-part of an idempotent comonad on the $\bT$-modules $\A_{\rT}$ which generalises the crucial properties of the rational functor for coalgebras. As a special case we consider pairings on monoidal categories.