i>R</mi></mrow><annotation encoding="application/x-tex">R</annotation></semantics></math></span><span class="katex-html" aria-hidden="true"><span class="base"><span class="strut" style="height:0.6833em;"></span><span class="mord mathnormal" style="margin-right:0.00773em;">R</span></span></span></span>.
<p></p>
The second, more restrictive setting means bimonoids in proper (no longer lax) duoidal categories.
Examples come again from endohom categories, studied by Street.
He showed that both monoidal structur