Unitary representation theory