??so what about something about ... ??for example, model of tag theory "monoid" over commutative monoid x as ... ??something about central extension (or something ... ??something about monoid vs group here ... ???and so forth ...) of/by x ... ???and so forth .... ????....

???what about something about compact prop doctrine here, and so forth ??? ....