?? commutative monoids in a symmetric monoidal poset ... as forming ... ???? ... ??? ... ?? "bi-idempotence" ??? ... ???? ....
?? "walking idempotent monoid" monoidal cat =?= "walking monoid" monoidal poset ??? .... ??? ....
?? right adjoint to forgetful 2-fr from _cartesian sym mon poset_ to _sym mon poset_ .... ??? ....
?? ... ??? ....
No comments:
Post a Comment