Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorPaoloPerrone
    • CommentTimeJun 21st 2021
    • (edited Jun 21st 2021)

    What are examples of rig categories which

    • are not just rigs or ordered rigs, and
    • are not distributive monoidal categories (so the sum is not the coproduct)?

    I cannot seem to come up with an example myself except very artificial ones (such as taking a distributive monoidal category and removing some arrows). I’m sure there’s quite some though, can anyone help?

    • CommentRowNumber2.
    • CommentAuthorTodd_Trimble
    • CommentTimeJun 21st 2021

    It’s a good question. Does it work to take a symmetric monoidal category and look at strong symmetric monoidal endofunctors on that?

    • CommentRowNumber3.
    • CommentAuthorPaoloPerrone
    • CommentTimeJun 21st 2021

    That seems to work. Nice example!