Title:Generalized Monads and Comonads (Applications to Semirings and Semicorings)

Abstract:The category $_{A}\mathbb{S}_{A}$ of bisemimodules over a semialgebra $A,$ with the so called Takahashi's tensor product $-\boxtimes_{A}-,$ is semimonoidal but not monoidal. Although not a unit in $_{A}\mathbb{S}_{A},$ the base semialgebra $A$ has properties of a semi-unit (in asense which we clarify in this note). Motivated by this interesting example, we introduce a notion of a semi-unit $\mathbf{I}$ in an arbitrary semimonoidal category $(\mathcal{V},\bullet)$ and call a category with such a distinguished object generalized monoidal. The advantage of this is that it provides us with a framework for studying notions like generalized monoids (generalized comonoids) as well as generalized monads (generalized comonads) w.r.t. the endo-functor $\mathbb{J}:=\mathbf{I}\bullet -\simeq -\bullet \mathbf{I}: \mathcal{V}\longrightarrow \mathcal{V}.$ Applications to the generalized monoidal variety $(_{A}\mathbb{S}_{A},\boxtimes_{A},A)$ provide us with examples of generalized $A$-semirings and generalized semimodules (generalized $A$-semicorings and generalized semicomodules) which extend the classical notions of rings and modules (corings and comodules).