Skip to main content
6 events
when toggle format what by license comment
Aug 19, 2021 at 6:53 vote accept Chris Kuo
Aug 13, 2021 at 21:17 history became hot network question
Aug 13, 2021 at 15:07 comment added Dmitri Pavlov @ZhenLin: This was just discussed here: mathoverflow.net/questions/401157/…
Aug 13, 2021 at 13:58 answer added Reid Barton timeline score: 12
Aug 13, 2021 at 13:26 comment added Zhen Lin This doesn’t sound right. The construction factors through locales, but the forgetful functor from topological spaces to locales doesn’t preserve products. However, the functor from locales to toposes preserves finite products, if I recall correctly.
Aug 13, 2021 at 13:17 history asked Chris Kuo CC BY-SA 4.0