Results

**11 - 16**of**16**### BIMONADS AND HOPF MONADS ON CATEGORIES BACHUKI MESABLISHVILI, TBILISI AND

, 710

"... Abstract. The purpose of this paper is to develop a theory of bimonads and Hopf monads on arbitrary categories thus providing the possibility to transfer the essentials of the theory of Hopf algebras in vector spaces to more general settings. There are several extensions of this theory to monoidal c ..."

Abstract
- Add to MetaCart

Abstract. The purpose of this paper is to develop a theory of bimonads and Hopf monads on arbitrary categories thus providing the possibility to transfer the essentials of the theory of Hopf algebras in vector spaces to more general settings. There are several extensions of this theory to monoidal categories which in a certain sense follow the classical trace. Here we do not pose any conditions on our base category but we do refer to the monoidal

### COALGEBRAIC STRUCTURES IN MODULE THEORY

"... Abstract. Although coalgebras and coalgebraic structures are well-known for a long time it is only in recent years that they are getting new attention from people working in algebra and module theory. The purpose of this survey is to explain the basic notions of the coalgebraic world and to show the ..."

Abstract
- Add to MetaCart

Abstract. Although coalgebras and coalgebraic structures are well-known for a long time it is only in recent years that they are getting new attention from people working in algebra and module theory. The purpose of this survey is to explain the basic notions of the coalgebraic world and to show their ubiquity in classical algebra. For this we recall the basic categorical notions and then apply them to linear algebra and module theory. It turns out that a number of results proven there were already contained in categorical papers from decades ago. Key Words: monads and comonads, algebras and coalgebras, module and

### 3. Actions on functors and Galois fun...

"... Abstract. The purpose of this paper is to develop a theory of bimonads and Hopf monads on arbitrary categories thus providing the possibility to transfer the essentials of the theory of Hopf algebras in vector spaces to more general settings. There are several extensions of this theory to monoidal c ..."

Abstract
- Add to MetaCart

Abstract. The purpose of this paper is to develop a theory of bimonads and Hopf monads on arbitrary categories thus providing the possibility to transfer the essentials of the theory of Hopf algebras in vector spaces to more general settings. There are several extensions of this theory to monoidal categories which in a certain sense follow the classical trace. Here we do not pose any conditions on our base category but we do refer to the monoidal

### QF FUNCTORS AND (CO)MONADS

"... Abstract. One reason for the universal interest in Frobenius algebras is that their characterisation can be formulated in arbitrary categories: a functor K: A → B between categories is Frobenius if there exists a functor G: B → A which is at the same time a right and left adjoint of K; a monad F on ..."

Abstract
- Add to MetaCart

Abstract. One reason for the universal interest in Frobenius algebras is that their characterisation can be formulated in arbitrary categories: a functor K: A → B between categories is Frobenius if there exists a functor G: B → A which is at the same time a right and left adjoint of K; a monad F on A is a Frobenius monad provided the forgetful functor AF → A is a Frobenius functor, where AF denotes the category of F-modules. With these notions, an algebra A over a field k is a Frobenius algebra if and only if A ⊗k − is a Frobenius monad on the category of k-vector spaces. The purpose of this paper is to find characterisations of quasi-Frobenius algebras by just referring to constructions available in any categories. To achieve this we define QF functors between two categories by requiring conditions on pairings of functors which weaken the axioms for adjoint pairs of functors. QF monads on a category A are those monads F for which the forgetful functor UF: AF → A is a QF functor. Applied to module categories (or Grothendieck categories), our notions coincide with definitions first given K. Morita (and others). Further applications

### Contents

, 804

"... Abstract. Let A be a ring and MA 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 − ⊗A B: MA → MA is a monad (or triple). Similarly, an A-bimodule C is an A-coring provided the functor − ⊗A C: MA → MA is a comonad (or c ..."

Abstract
- Add to MetaCart

Abstract. Let A be a ring and MA 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 − ⊗A B: MA → MA is a monad (or triple). Similarly, an A-bimodule C is an A-coring provided the functor − ⊗A C: MA → MA is a comonad (or cotriple). The related categories of modules (or algebras) of − ⊗A B and comodules (or coalgebras) of − ⊗A C are well studied in the literature. On the other hand, the right adjoint endofunctors HomA(B, −) and HomA(C, −) are a comonad and a monad, respectively, but the corresponding (co)module categories did not find

### BEILINSON-BERNSTEIN LOCALIZATION OVER THE HARISH-CHANDRA CENTER

"... Abstract. We present a simple proof of a strengthening of the derived Beilinson-Bernstein localization theorem using the formalism of descent in derived algebraic geometry. The arguments and results apply to arbitrary modules without the need to fix infinitesimal character. Roughly speaking, we demo ..."

Abstract
- Add to MetaCart

Abstract. We present a simple proof of a strengthening of the derived Beilinson-Bernstein localization theorem using the formalism of descent in derived algebraic geometry. The arguments and results apply to arbitrary modules without the need to fix infinitesimal character. Roughly speaking, we demonstrate that all Ug-modules are the invariants, or equivalently coinvariants, of the action of intertwining functors (a refined form of Weyl group symmetry). This is a quantum version of descent for the Grothendieck-Springer simultaneous resolution.