Orthogonal Linear MapsCovers orthogonal linear maps, orthogonal matrices, invertibility, and least squares solutions in Euclidean spaces.
Active Learning SessionExplores the verification of a Lie functor as a left adjoint, with natural transformations satisfying triangular identities and isomorphisms.