Timeline for Has this notion of a ring in a bimonoidal category been studied before?
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 8, 2021 at 17:42 | comment | added | Emily | This notion appears also here (and in more generality!): ncatlab.org/nlab/show/colax-distributive+rig+category. | |
| Sep 3, 2021 at 7:08 | history | edited | Emily | CC BY-SA 4.0 |
deleted 794 characters in body
|
| Sep 3, 2021 at 7:08 | comment | added | Emily | @MaximeRamzi Currently, no :/ (besides trivial ones like $0$ with the trivial morphisms in $\mathbb{F}$, $\mathbb{S}$, or $R_{\mathsf{disc}}$ for $R$ a ring). In fact, I think I don't know many semiring categories with $\oplus\neq$ coproduct at all! I've asked about this in a separate question here, after failing to come up with any useful examples... | |
| Sep 2, 2021 at 8:03 | comment | added | David Corfield | There's also a page on 2-rigs -- ncatlab.org/nlab/show/2-rig -- which presents a range of variants. | |
| Sep 2, 2021 at 7:23 | comment | added | Maxime Ramzi | All your examples have $\oplus= $ coproduct, so that the additive monoid structure trivializes. Do you have examples in mind where it doesn't ? | |
| Sep 2, 2021 at 6:07 | history | asked | Emily | CC BY-SA 4.0 |