Text this: Category theory, homology and their applications :