Re: calculus, homotopy theory and more