Timeline for Precise relationship between elementary and Grothendieck toposes?
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 12, 2020 at 5:53 | comment | added | David Roberts♦ | For precision, because it is vague from your answer which ones are known: WISC is true in a Grothendieck topos if it is true in $\mathbf{Set}$. More generally, WISC passes up a bounded geometric morphism, and is even preserved by realisability toposes (I believe these observations are due to Benno van den Berg). | |
| May 30, 2017 at 14:55 | vote | accept | CommunityBot | ||
| May 28, 2017 at 21:52 | comment | added | Mike Shulman | @NoahSchweber I added some links. | |
| May 28, 2017 at 21:50 | history | edited | Mike Shulman | CC BY-SA 3.0 |
add a link to 1
|
| May 28, 2017 at 21:47 | comment | added | Noah Schweber | What does it mean for the axiom of choice to fail in at most a small way? (I don't quite understand your parenthetical.) | |
| May 28, 2017 at 21:44 | history | answered | Mike Shulman | CC BY-SA 3.0 |