lots of things that i forgot to mention in the octoberfest talk ... for example how the torus of the toric variety corresponds to the double negation topology ... on the other hand there's also stuff that i didn't think of saying until afterwards ... like how taking the (weak) pushout of non-essential inclusions between presheaf toposes seems to give toposes lacking total distributivity ...