Post #3002044

I added a definition of the effective topos to Wikipedia. I think it's incomprehensible for a newcomer (as it was to me two years ago), but since I ran out of time, pedagogy will have to wait for later or someone else. https://en.wikipedia.org/wiki/Effective_topos#Definition