带积范畴

category with product