Для удобства обзора всех категорий общей теории числа см. таблицу.
Необходимо отметить, что, поскольку мы в данном месте нашего исследования занимаемся именно общей теорией числа, постольку все выводимые здесь категории оказываются весьма общими, максимально общими, какие только могут быть в математике. Ни одна математическая наука не может их избежать, как бы ни старались многие разверстать их между отдельными науками.
Что чистые арифметические числа действуют решительно в каждой математической науке, напр., в анализе, это ясно. Также ясна универсальность таких категорий, как действие или теорема. Но пожалуй, не всем ясно, что точно такой же универсальностью обладает и категория функции. А это действительно так.
Прежде всего самые арифметические действия могут рассматриваться как некоторого особого рода функции, а именно функции, так сказать, инобытийно-нулевые, т.е. функции, в которых инобытийности, аргументной неизвестности – нуль. Однако если такая мысль покажется уродливой, то можно уже прямо указать на наличие в арифметике функций, носящих название числовых функций. В т.н. теории чисел (которая есть, конечно, не что иное, как арифметика, и притом арифметика целых чисел) мы определяем, напр., количество первоначальных [простых] чисел, меньших данного числа x. И оказывается, что это есть функция от x. Имеется, как известно, приближенное выражение этой функции через
x/ln x и 2∫x dx/lg x.
Число делителей данного числа также, оказывается, есть функция этого числа; сумма делителей – то же самое и т.д. Это самые настоящие функции. Не нужно только обязательно связывать понятие функции с идеей бесконечно-малых, как это само собой навязывается благодаря неискоренимой ассоциации. Математики даже скомбинировали особую науку «теория функций», где есть все, что угодно, но только не числовые функции. А числовые функции – обычная реальность того, что в математическом обиходе именуется теорией чисел.
Алгебра тоже есть, конечно, наука о функциях. Что такое уравнения как не функции?
Таким образом, функции в разных науках различаются между собою не по принципу функции (который везде один и тот же), но по специфическим свойствам каждой науки. В арифметике главную роль играют числа в их непосредственном значении; след., функции тут числовые. В алгебре главную роль играют функции с постоянными величинами, в анализе – с переменными величинами. Это и накладывает своеобразный отпечаток на употребление функций в разных областях.
Стоит обратить особое внимание на значение категории «функция» в теории множеств и в теории вероятностей. В первой из названных наук эта категория связана с процессом отображения одного множества на другом и на установлении того или иного соответствия отображенного с отображающим. Во второй из названных наук функция приобретает значение т.н. корреляции, которая, в связи с тем что в данном случае происходит исчисление бытия фактически случайного, как раз и есть функция, но без чисто функционального содержания, а только с фактически опосредствованным. Подробности в этих категориях изучаются нами в своем месте.