Text this: Category theory, homology theory and their applications :