Fixed subcategory as belonging to category