Introduction to higher algebra