Representation theorems for p-categories