Canonical dimension is an integral-valued invariant of algebraic structures. We are mostly interested in understanding the canonical dimension of projective homogeneous varieties under semisimple affine algebraic groups over arbitrary fields. Known methods, results, applications, and open problems are reviewed, some new ones are provided.