Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
Added some remarks, mostly about extensivity and exactness, to quasitopos.
added a bunch of propositions to quasitopos
added references to quasitopos and concrete sheaf
added a pointer to Garner and Lack which appeared earlier this year.
Some slight rearrangement of examples, recognizing five of them as examples of $\neg\neg$-separated presheaves. See this MSE thread.
We discovered on MO that the page quasitopos has contained an incorrect definition of “Grothendieck quasitopos” for the past 8 years, which was apparently my fault originally. Ugh. Now fixed.
I added a second characterization for Grothendieck quasitopos.
1 to 8 of 8