The Opposite Of A Set

Want to know why I decided to spare you Category Theory? Watch this:



Intuitively it makes sense to me: sets have no structure and all possible automorphisms, complete atomic Boolean algebras have all the structure we could ask for and also all possible automorphisms.

The Sheafification (that's a real thing: it converts a pre-sheaf into a sheaf) of G is worth the subscription.