Latex instructions  [5]  Grothendieck  [3]  presheaves  [2]  theories  [2]  monoids  [2]  geometric morphism  [2]  preprint  [1]  supercompact  [1]  2-category  [1]  lattices of theories  [1]  counterexample  [1]  chatting platform  [1]  logic  [1]  Grothendieck topology  [1]  inference relation  [1]  site  [1]  topological monoids  [1]  characterization  [1]  groupoids  [1]  stacks  [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]  terminology  [1]  limits  [1]  champs  [1]  frames  [1]