SMS: Homological algebra