For my research I would like to read all the known proofs of the very classical result "Coherent topoi have enough points", by Deligne.

Ref 1: D3.3.13 in Sketches of an Elephant

provides a very logic-rooted proof of the statement, I would like to see a more geometric or a more category theoretic proof.

Suggested by Christian Espindola

Ref 2: 7.44 in Topos Theory by Johnstone.

 

Ref 3: 9.11.3 in Sheaves in Geometry and Logic.

For my research I would like to read all the known proofs of the very classical result "Coherent topoi have enough points", by Deligne.

Ref 1: D3.3.13 in Sketches of an Elephant

provides a very logic-rooted proof of the statement, I would like to see a more geometric or a more category theoretic proof.

Suggested by Christian Espindola

Ref 2: 7.44 in Topos Theory by Johnstone.

Ref 3: 9.11.3 in Sheaves in Geometry and Logic.

For my research I would like to read all the known proofs of the very classical result "Coherent topoi have enough points", by Deligne.

Ref 1: D3.3.13 in Sketches of an Elephant

provides a very logic-rooted proof of the statement, I would like to see a more geometric or a more category theoretic proof.

For my research I would like to read all the known proofs of the very classical result "Coherent topoi have enough points", by Deligne.

Ref 1: D3.3.13 in Sketches of an Elephant

provides a very logic-rooted proof of the statement, I would like to see a more geometric or a more category theoretic proof.

Suggested by Christian Espindola

Ref 2: 7.44 in Topos Theory by Johnstone.

Ref 3: 9.11.3 in Sheaves in Geometry and Logic.