First of all I was capturing the defn
exp(f) = lim_{n \rightarrow \infty} (id + f/n)^n,
but yes there are lots of other functions you can define more generally. The exponential just comes up particularly naturally.
exp(f) = lim_{n \rightarrow \infty} (id + f/n)^n,
but yes there are lots of other functions you can define more generally. The exponential just comes up particularly naturally.