Question

The étale topos is coherent: does the scheme need to be quasicompact?

score 223 · Answer 1 · 2026-03-25 18:03:18

The étale topos is coherent: does the scheme need to be quasicompact?

Published on 25 Mar 2026 - 18:03

score 102 · Answer 2 · 2018-07-07 12:10:01

A topos with enough points is the topos of equivariant sheaves on a topological groupoid (Butz-Moerdijk): where do continuous actions come from?

score 297 · Answer 3 · 2018-07-10 20:23:39

297

Views

Nontrivial example of topos in the context of logic

Published on 10 Jul 2018 - 20:23

score 172 · Answer 4 · 2018-08-07 17:32:04

172

Views

Looking for the Deligne's example of a non trivial topos with no points

Published on 07 Aug 2018 - 17:32

score 457 · Answer 5 · 2026-03-26 15:52:41

457

Views

Logic for physics

Published on 26 Mar 2026 - 15:52

score 104 · Answer 6 · 2026-03-25 18:41:46

104

Views

"Category" of (pre)stacks over a fixed category/site

Published on 25 Mar 2026 - 18:41

score 520 · Answer 7 · 2018-09-03 07:57:47

520

Views

Is the interpretation of the Morleyization of a first order theory in a Heyting category automatically classical?

Published on 03 Sep 2018 - 7:57

score 344 · Answer 8 · 2026-03-26 07:59:23

344

Views

Presheaves are sheaves for the trivial topology

Published on 26 Mar 2026 - 7:59

score 299 · Answer 9 · 2026-03-22 09:32:36

299

Views

Is there a classifying topos for locales?

Published on 22 Mar 2026 - 9:32

score 93 · Answer 10 · 2018-10-06 12:59:12

93

Views

Topos with sets as subobject classifier

Published on 06 Oct 2018 - 12:59

score 420 · Answer 11 · 2018-10-12 16:29:06

420

Views

Is ZFC a geometric theory? Does it have a classifying topos?

Published on 12 Oct 2018 - 16:29

score 44 · Answer 12 · 2026-03-22 14:17:51

44

Views

How to categorically characterize the structure of all grounded first-order logic formulas?

Published on 22 Mar 2026 - 14:17

score 206 · Answer 13 · 2018-10-30 19:06:13

206

Views

Different descriptions of internal languages of a topos

Published on 30 Oct 2018 - 19:06

score 219 · Answer 14 · 2026-03-25 14:25:22

219

Views

Does a sheaf of abelian groups on a scheme $X$ induce a sheaf of abelian groups on the étale site $X_{ét}$?

Published on 25 Mar 2026 - 14:25

score 139 · Answer 15 · 2018-11-03 20:23:23

139

Views

Well Definedness of the Representation of the Subobject Functor

Published on 03 Nov 2018 - 20:23

List Question

The étale topos is coherent: does the scheme need to be quasicompact?

A topos with enough points is the topos of equivariant sheaves on a topological groupoid (Butz-Moerdijk): where do continuous actions come from?

Nontrivial example of topos in the context of logic

Looking for the Deligne's example of a non trivial topos with no points

Logic for physics

"Category" of (pre)stacks over a fixed category/site

Is the interpretation of the Morleyization of a first order theory in a Heyting category automatically classical?

Presheaves are sheaves for the trivial topology

Is there a classifying topos for locales?

Topos with sets as subobject classifier

Is ZFC a geometric theory? Does it have a classifying topos?

How to categorically characterize the structure of all grounded first-order logic formulas?

Different descriptions of internal languages of a topos

Does a sheaf of abelian groups on a scheme $X$ induce a sheaf of abelian groups on the étale site $X_{ét}$?

Well Definedness of the Representation of the Subobject Functor

Trending Questions

Popular # Hahtags

Popular Questions