Re: Reference on coverages

Insofar as this is a well-posed question, the answer seems to me to be in Proposition C1.3.15 of the Elephant. (It isn't well-posed because the subobject classifier of any topos is an object of the topos, not something external to it.) Peter Johnstone --------------- On Thu, 20 Aug 2009, Bas Spitters wrote:

The following is well-known: Given a posite we can construct the corresponding locale and the corresponding Grothendieck topos. Theorem: The locale is the subobject classifier of the topos.

However, I fail to find a reference for this fact.

Please help.

Bas

[For admin and other information see: http://www.mta.ca/~cat-dist/ ]