Categorical Combinators, Sequential Algorithms, and Function