MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Is there an accepted name or attribution by which to refer to the following well-known theorem?

If C is a small site, then the topos of sheaves on C is the classifying topos for flat cover-preserving functors out of C.

In the case when C has a trivial topology, the corresponding assertion for its presheaf topos is usually called Diaconescu's theorem. But I don't think I have ever seen a name given to the more general version.

share|cite|improve this question
I thought the more general version was also due to Diaconescu, but that might just be because the two versions seem to occupy the same neurons in my head. – Andreas Blass Jul 10 '11 at 23:54
I thought so too, Andreas, but section B3.2 of Sketches of an Elephant and section 4.5 of Borceux's Handbook of Categorical Algebra 3 both agree with Mike. – Tom Leinster Jul 11 '11 at 4:56

If the site has finite limits, then this can be found in SGA4 Proposition 4.9.4.

share|cite|improve this answer
Exposé IV, of course. :) – JBorger Jul 11 '11 at 1:45
Mais oui! The 4 was for Exposée IV. – Benjamin Steinberg Jul 11 '11 at 2:06
Then you forgot one of the other 4s! It's SGA4, exposé IV, proposition 4.9.4. I do love my SGA4. :) – JBorger Jul 11 '11 at 3:18
Thanks. But do they give it a name? – Mike Shulman Jul 12 '11 at 14:52

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.