??so consider forgetful (2,1)-functor from geometric theories to "tag" theories... ???and left adjoint to this??

??vs ... ??classifying topos for models of tag theory over comm monoid m ... ??and so forth ... ??...