Categories within PITTS