20 Aug
2009
20 Aug
'09
8:10 p.m.
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/ ]