Homotopically fine

математика гомотопически тонкий (о пучке)