nForum - Discussion Feed (subtopos)2024-03-28T12:54:26+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Urs comments on "subtopos" (50829)https://nforum.ncatlab.org/discussion/6345/?Focus=50829#Comment_508292014-11-26T20:44:52+00:002024-03-28T12:54:26+00:00Urshttps://nforum.ncatlab.org/account/4/
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 ...
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.