Skip to main content

All Questions

Filter by
Sorted by
Tagged with
18 votes
2 answers
618 views

In the internal language of the topos of sheaves on a topological space, can we define locally constant real-valued functions?

For the purposes of this question, in a Grothendieck topos, we will call “definable” the objects and relations obtained from the terminal object, the natural numbers object and the subobject ...
Gro-Tsen's user avatar
  • 32.5k