Yes, sureley. In Computablilty Theory you have the famous Ackermann-function[1]. It is actually an operator-extension, like you just described. It is important, because it grows overexponentially, but is still computable (unlike e.g. the busy-beaver-function).
