SMS: Modern Higher Algebra