Grothendieck  [3]  geometric morphism  [2]  presheaves  [2]  theories  [2]  champs  [1]  stacks  [1]  groupoids  [1]  supercompact  [1]  preprint  [1]  frames  [1]  2-category  [1]  lattices of theories  [1]  counterexample  [1]  chatting platform  [1]  limits  [1]  terminology  [1]  monoids  [1]  morphisms of sites  [1]  internal logic  [1]  levels of a topos  [1]  sheafification  [1]  exponential  [1]  theory  [1]  model  [1]  category  [1]  history  [1]  topos  [1]  logic  [1]