Jacobson radicals of WAW-categories. (Q1430461)

A W-category \(\mathcal A\) is a class \(I\) of objects, such that for all pairs \((\alpha,\beta)\) of objects a set \(\hom(\alpha,\beta)\) of morphisms from \(\alpha\) to \(\beta\) exists. Moreover, it is assumed that \(\hom(\alpha,\beta)\cap\hom(\gamma,\delta)=\emptyset\) for \((\alpha,\beta)\not=(\gamma,\delta)\) and that there is an associative multiplication \((\sigma,\tau)\mapsto\sigma\tau\in\hom(\alpha,\gamma)\) for all morphisms \(\sigma\in\hom(\alpha,\beta)\) and \(\tau\in\hom(\beta,\gamma)\). A weak additive W-category (for short: a WAW-category) \({\mathcal A}=\bigcup_{\alpha,\beta\in I}{_\alpha{\mathcal A}_\beta}\) is a W-category \(\mathcal A\) such that for all \(\alpha,\beta\in I\) there is an addition \(+\) on \(\hom(\alpha,\beta)\) yielding a commutative monoid \(_\alpha{\mathcal A}_\beta=(\hom(\alpha,\beta),+)\) with neutral \(_\alpha 0_\beta\) satisfying \(_\alpha 0_\beta\sigma={_\alpha 0_\gamma}\) and \(\tau{_\alpha 0_\beta}={_\gamma 0_\beta}\) for all \(\sigma\in\hom(\beta,\gamma),\tau\in\hom(\gamma,\alpha)\), and multiplication distributes over addition. Note that \(_\alpha{\mathcal A}_\alpha\) is an additively commutative semiring with absorbing zero for each \(\alpha\in I\), and that a WAW-category is merely such a semiring if \(|I|=1\). The authors define (one-sided) ideals, right \(\mathcal A\)-semimodules and a Jacobson radical \(J({\mathcal A})\) for every WAW-category \(\mathcal A\) in such a way that these concepts coincide with the known ones for semirings and semimodules in the case \(|I|=1\). In this way they prove results for the Jacobson radical of a WAW-category which generalize known results for the Jacobson radicals of semirings and semimodules.