PC: una teoria elementare delle protocategorie e questioni di interpretabilità tra C e PC