All Questions
1
question
8
votes
2
answers
1k
views
Info on the locale of surjections from the Natural Numbers to the Real Numbers
On the nlab page for locales, it states that there is locale for the surjections from the Naturals to the Reals. This locale has no points (i.e. elements), since there are no such surjections, but the ...