precategories compiles