Stav dette: Category theory, homology theory and their applications