Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Tensor product is coproduct only for commutative algebras.
After the statement that pushout = tensor product in $CRing$, i have added pointer to category of monoids – pushouts – of commutative monoids
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]]_
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. (!?)
1 to 5 of 5