precategorials