This lecture explores the concept of upgrading foundations from embedded to general manifolds, focusing on optimization on manifolds. The instructor discusses smooth sets that are not explicitly embedded, giving examples from optimization with symmetries. Additionally, the lecture covers the definition of smooth functions, tangent vectors, and smooth sets.