By Giraud topos I mean all the assumptions in Giraud's theorem, exept a small set of generators. What Grothendieck call "faux topos". See SGA4 Exposse IV Theoreme 1.2 (Giraud's theorem) and Example 2.8 (faux topos). best e.d. I guess I was wrong when I thought that "Giraud Topos" was established terminology in the cat-list. On 11/8/16 09:59, Daniil Frumin wrote:
What is actually a Giraud topos? I cannot find a reference for this on the internet.
On Mon, Nov 7, 2016 at 10:03 PM, Eduardo Julio Dubuc <edubuc@dm.uba.ar <mailto:edubuc@dm.uba.ar>> wrote:
Hi, in this posting I will use the terminology used by most people in the list.
There are Grothendieck, Giraud and Elementary (Lawvere-Tierney) topos.
Grothendieck are Giraud and Elementary, my question is:
Are Elementary Giraud topos which are not Grothendieck ?
Examples ?
greetings e.d.
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]