Deduction Categories