The "Initiative in Innovative Computing" at Harvard

I've learned about a new organization (functioning since Summer 2006), which is doing various strange things, for example, "modifications to existing medical imaging programs that enable their use in astronomical research". ( they are hiring too )

Other than that, I am torturing myself trying to understand why for (pre)sheaves on a topology, it is not enough to take the topology itself as the set of logical values, but one needs to consider "sieves" aka "crib(b)les" (решета) over this topology to obtain the "classifier of subobjects"..