??so what about quasitopos vs topos in connection with doctrine morphism from tag to g ?? ...

??and what about this doctrine morphism, vs one to "g slice commutative monoid" ?? ...
and so forth ... ??something about (2,1)-full-and-faithfulness here??? ... and so forth ... ???...