"_comm monoid_(-)" as idempotent ... ?? ...

(?? had some level slip confusion about this, but seems ok now .... cartesian smc vs object thereof ... ?? .... ...)

vs .... ???? as (near-)invertible ?? .... ??? construed in some different way ??? .... ??? ....

???? ....