doctrine .... level slip .... "predicate theory vs propositional theory" .... ???.... "intended environment" doctrine morphism .... ??? ....

?? propositional formula interpreted as degenerate predicate formula .... ??? ..... underlying (?? ...) propositional model of predicate model .... hmmm, level slip _here_ ... theory vs model ... ??? vs ... ??? formula vs model ??? .... ???? .....


tannakian twist here ... coalg vs its comodule cat ... ??? ..... ???? ..... doctrine ... ??? .... toric .... ??? ....

?? i think that i'd been going to ask here something about ... ?? how certain level slip stuff here (?? ...) gets along with .... morphisms of some kind ... but at the moment my memory of what i meant by that seems hazy ... ?? ....