Title: Modern higher algebra