Roughly implemented Category