Skip to main content
2 of 2
Added tags
David Roberts
  • 35.5k
  • 11
  • 124
  • 351

What's the easiest example of a morphism of topoi that is not from that of a site?

A topos is defined to be a category that's equivalent to the category of sheaves on a site. Morphisms between topoi is defined by a pair of adjoint functors that behave like pull-back/push-forward of sheaves. But I was told one of the cool thing about topos is that sometimes there are morphisms of topos that are not from morphisms of a site. When people talk about this they mention the word "crystalline"...

But is there a toy example I can play around with? What's the easiest example of this?

Yuhao Huang
  • 5.1k
  • 1
  • 39
  • 62