https://123dok.net/document/qvl7j750-covering-type-space-max-karoubi-charles-weibel-abstract.html