also remind me to explain to y'all what subsets actually are, what their categorical dual is, and how this results in natural ways to define a "cointersection" and "counion". i don't see any of these things discussed, but to me it felt like a very straightforward application of some basic category theoretical concepts to set theory, hence why I explored it.