Friday, February 3, 2012

?? 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