Phạm trù cộng tính và hàm tử cộng tính