??? "t-modeled topos interpretation of spectrum process where yoneda embedding is restricted along inclusion (??...) of t-models among ..." .... ????....

??? vs ... ????? ....

"doctrine as special 2-topos" .... ????... theory ... environment ... formula ... model .... .... ??? ..... ???? .... ???? .... "conjunction of axioms" (???...) level slip ..... "morleyfication" ?? .... ???? ..... ????....

??? "environment-like theory" ... moduli stack of models of theory ... ????.....