Categories Analysis A Proof of Jensen's Inequality and its Applications Optimization Theory A Proof of the Convergence of Gradient Descent