4 ms·
"Johnstone's topological topos is very easy to describe: take the monoid of continuous endomaps of the one-point compactification of the discrete natural number
by throwaway81523 5y ago
"Johnstone's topological topos is very easy to describe: take the monoid of continuous endomaps of the one-point compactification of the discrete natural numbers, considered as a category, then take sheaves for the canonical coverage."
Wow cool, I never realized it was so simple! Thanks for this clear explanation! j/k.
- omaranto 5y agoWell it is simple for a description of a topos. If you know the definition of topos, you are likely to also know what the canonical coverage is and what sheaves are, etc.