This uses algebraic topology and category theory to study the cohomology and K-theory of Lie groups and Lie algebras.