major topics to talk about with todd next time...

1 "toric"-related doctrines ...

2 catalog of toposes arising in algebraic geometry ...

??something about ... full-and-faithfulness questions ... technical meaning of "quasicoherent" and so forth ... ???"structure/semantics" ... "stacks" ... ... and so forth ... ?????.....


3 points along "kz" spectrum ... ??something about "epistemological collapse" ... ??something about when morphisms are automatically homomorphisms ("being a homomorphism as vacuous property" ...)... and so forth ... ??something about case of semilattice monad on _poset_ ...

??minor topics to mention...?? ...

??"topos-building operations" ... "minimal syntax" ... ??"t-geometric doctrine" ... ??"t-ag geometric doctrine" (??not to be confised with "tag doctrine"; see "toric" above ...) .... ??....

??"forcing semantics" ... ??point behind it ... ??it = trying to make connection to "forcing" ...

double-negation toposes and so forth ... forcing ... probabilistic stuff ... rado graph, dense order ....

??something about morphism of ag theories from finite-group-like to scheme-like ... ???and so forth .... ???....