A theory of category projection and its applications · Study