Covers fibrant objects, lift of horns, and the adjunction between quasi-categories and Kan complexes, as well as the generalization of categories and Kan complexes.
Covers the Calculus of Variations to find ground states in quantum mechanics by minimizing energy, discussing the Euler Lagrange equation and the Fundamental Theorem of Young Measure Theory.
Covers the fundamentals of optimal control theory, focusing on defining OCPs, existence of solutions, performance criteria, physical constraints, and the principle of optimality.