SMS: Modern higher algebra