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!