Numerably contractible categories
The notion of numerably contractible category is developed and is used to prove, under certain conditions, that a homotopy associative \(H\)-category has a homotopy inverse, which is the main result of the paper. It might be interesting to develop notions dual to those of the paper where the byproducts will be more interesting.
scientific article; zbMATH DE number 5125363