The category-theoretic notion of an exponential gives, as a special case, the usual exponentiation operation.
Considering that logarithm is the inverse of exponentiation, is there an analogous category-theoretic generalisation of the notion of logarithm?