An Introduction to Higher Categorical Algebra