Re: Giraud_Elementary_?

[Eduardo Julio Dubuc <edubuc@dm.uba.ar>]

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/ ]