Archive for the Principle Reduction Category