Cardinal exponentiation