An atom is a noninitial object with only the empty and whole subobject. In the atomic finite-surjection site, the sheaf component generated by one primitive class is an atom: membership of one descendant in a subobject descends to its primitive ancestor and then propagates to all descendants. A decomposition into atoms makes subobjects selections of components.
Articles by others on the same topic
There are currently no matching articles.