SMS: Category theory, homology theory and their applications