"the girl that discovered the black hole"

Here's the long video: https://www.youtube.com/watch?v=XlrfBiuMzfE&fbclid=IwAR0Sh7ngrrd0ozd3bKqFYyMwdppjz7vmvN90lkjUrBNnsmznQCdoqA9Ayao

In short, for more than 10 years, a large group of scientists, currently 200 of them was working on using submil telescope arrays to produce a global telescope, taking into account Earth rotation and many other factors, focused on that Messier 87 galaxy, and got the image.

The media found one member of the team, designated here as an eye candy, and spread the pictures around the world. As if she did it.

It's a shame. And we bought it. It's a shame. 

ха

Пока ехал, запрограммировал перечисление подобъектов предпучка! И это без кофе. Приехали в Пало Альто.

  def subobjects: Iterable[SetDiagram] = {
    def asSet(x: Any): set = asSet(d1.obj(x)) // will crash if it's not a good set
    val allPowers: Map[d0.Obj, Set[Set[Any]]] = 
      d0.objects map (o => o -> Sets.powerset(asSet(objectsMapping(o)))) toMap
    def am(a: d0.Arrow): SetFunction = {
      val dom: Set[set] = allPowers(d0.d0(a))
      val codom: Set[set] = allPowers(d0.d1(a))
      def f(s: Set[set]): Set[set] = s map { x => asSet(arrowsMapping(a)(x)) }
      SetFunction("", asSet(dom), asSet(codom), x => f(x.asInstanceOf[Set[set]])) // casting... shame...
    }
    val power =
      SetDiagram.build("?", d0)(x => asSet(allPowers(d0.obj(x))), a => am(d0.arrow(a))) iHope
    
    power.points
  }
}