less verbose in sub_precategories
yoneda shorter