> Keith - Puzzle 71 asks you to make the complex numbers into a commutative monoidal poset with its usual \\(+\\) and \\( 0 \\) and some new notion of \\(\le\\). It's clearly a commutative monoid. You've described how to make it into a preorder, not a poset. But we can still ask: does your recipe give a commutative monoidal preorder?

My answer technically gives a preorder rather than a poset too :-(

I believe I see how to do a monoidal poset, but I will hold back a bit...

My answer technically gives a preorder rather than a poset too :-(

I believe I see how to do a monoidal poset, but I will hold back a bit...