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.
have highlighted a bit more the fact here that the atoms in a subtopos lattice are the 2-valued Boolean ones. Thanks to Thomas Holder for alerting me.
And have added this as an example/proposition to atom and to Boolean topos, too.
1 to 1 of 1