Proseminar Representation Theory