Refactor representation theory notes into a seperate repo.