Talk:Generalized space

Why not redirect generalized space to a topos?
My initial thought (and maybe Grothendieck would agree?) was to just redirect generalized space to topos. But as noted in the article, according to Lawvere, this might not be correct. So, my second thought was perhaps we shouldn’t redirect. (I can be pursued otherwise.) —- Taku (talk) 08:33, 11 July 2024 (UTC)