Higher Applications of Mathematics