Homology of a directed union
ID: homology-of-a-directed-union
Suppose is directed by inclusion and every compact subset of lies in some . Every finite singular chain then lies in one , so . Exactness of filtered colimits gives
New to topics? Read the docs here!