condensed set

  • profinite set sets, with finite families of jointly surjective maps as covers.