Semiunital semimonoidal categories (applications to semirings and semicorings)

zbMATH Open1273.18016arXiv1209.4114MaRDI QIDQ2847355FDOQ2847355

Authors: Jawad Abuhlail 

Publication date: 4 September 2013

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

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).

Full work available at URL: https://arxiv.org/abs/1209.4114

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

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

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)

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
• Title not available (Why is that?)

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)