so what about something about... ????tag vs ag and ... ??various kinds/levels of base change ... ?? ... and so forth ...

??something about base change for theory vs for doctrine ... ??or something?? ... and so forth ... ???linkage of some sort here??? ... hmmmm.... ??relationship to for example linkage between comm ring and its module ag theory ?? ...

?? ... formula ... theory ... doctrine ... ???? or something??? and so forth ...

??something about formula vs model here ??? ...

something about ... [ some commutative monoid vs mutliplicative monoid of some commutative ring ] vs [tag doctrine vs ag doctrine] ... ??and so forth ...

??something about doctrine of k-ag theories and / or m-tag theories, and so forth ... ??doctrine of toposes nicely (??) "over" given elementary topos ... ??and so forth ...

??something about module ag _environment_ of commutative ring ... and so forth ... ???...