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.
    • CommentAuthorUrs
    • CommentTimeSep 24th 2012
    • CommentRowNumber2.
    • CommentAuthorTobyBartels
    • CommentTimeSep 27th 2012

    Tensor product is coproduct only for commutative algebras.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeAug 20th 2020

    After the statement that pushout = tensor product in CRingCRing, i have added pointer to category of monoids – pushouts – of commutative monoids

    diff, v6, current

    • CommentRowNumber4.
    • CommentAuthorRodMcGuire
    • CommentTimeAug 23rd 2020

    I’m not sure why Urs used this strange link syntax that doesn’t work. I tried to fix it and make it more standard changing

    See at _[pushouts of commutative monoids](category+of+monoids#PushoutOfCommutativeMonoids)_

    to

    See at _[[category of monoids#PushoutOfCommutativeMonoids|pushouts of commutative monoids]]_

    diff, v7, current

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeAug 24th 2020

    Thanks for noticing that my link didn’t work. I wonder why: I use the syntax all the time (maybe it dates from a time when the other syntax wasn’t available yet), and it seems I didn’t have a typo in it.

    Checking what happens when I paste my code into the Sandbox

    Ah, there it works. (!?)