8 Nov
2016
8 Nov
'16
10:03 a.m.
On Mon, Nov 07, 2016 at 04:03:18PM -0500, Eduardo Julio Dubuc 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 ?
But Grothendieck and Giraud toposes are the same. In the Elephant one can even find a relative Giraud Theorem. Thomas [For admin and other information see: http://www.mta.ca/~cat-dist/ ]