Semiunital semimonoidal categories (applications to semirings and semicorings)

MaRDI QIDQ2847355zbMATH OpenFDO

Authors Jawad Abuhlail

Publication date 4 September 2013

Published in Theory and Applications of Categories (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1209.4114, http://www.emis.de/journals/TAC/volumes/28/4/28-04abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

monadscomonadssemiringssemimodulessemicoringssemimonoidal categoriessemiunits

Mathematics Subject Classification ID

Semirings (16Y60) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Abstract: The category ${}_{A}mathbb{S}_A$ of bisemimodules over a semialgebra $A,$ with the so called Takahashi's tensor product $$ is semimonoidal but not monoidal. Although not a unit in ${}_{A}mathbbS{\mathrm{\%}}_A,$ the base semialgebra $A$ has properties of a semiunit (in a sense which we clarify in this note). Motivated by this interesting example, we investigate semiunital semimonoidal categories $$ as a framework for studying notions like semimonoids (semicomonoids) as well as a notion of monads (comonads) which we call $mathbbJ$-monads ($mathbbJ$-% comonads) with respect to the endo-functor $$ This motivated also introducing a more generalized notion of monads (comonads) in arbitrary categories with respect to arbitrary endo-functors. Applications to the semiunital semimonoidal variety $$ provide us with examples of semiunital $A$-semirings (semicounital $A$-semicorings) and semiunitary semimodules (semicounitary semicomodules) which extend the classical notions of unital rings (counital corings) and unitary modules (counitary comodules).

Recommendations

• Semicorings and semicomodules.
• Universal semigroups
• The cosemisimplicity and cobraided structures of monoidal comonads
• Monoidal categories of corings.
• Elementary remarks on units in monoidal categories

Cited in

(5)

• Universal semigroups
• Enriched Koszul duality
• Some remarks on tensor products and flatness of semimodules.
• A categorical analogue of the monoid semiring construction
• scientific article; zbMATH DE number 5952670 (Why is no real title available?)

This page was built for publication: Semiunital semimonoidal categories (applications to semirings and semicorings)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2847355)