Text this: Algebraic exponentiation and internal homology in general categories