-defined categories of p