Proportional Categories