Об одной категории частично рекурсивных функций

В работе каждая частично рекурсивная функция (ч.р.ф.) $f$ рассматривается как нумерация подмножества $N\cup\{\omega\}$, $N=\{0,1,\dots\}$, предполагая, что $f(x)=\omega\Leftrightarrow f(x)$ неопределено. Тогда множество всех таких нумераций вместе с морфизмами, согласованными со сводимостью нумераций, образуют категорию ч.р. ф. $\mathscr{K}$. Описываются главные, $wn$-, $n$- и $e$-подобъекты объектов $\mathscr{K}$ из естественных классов, строятся соответствующие примеры, указывающие на соотношения между этими подобъектами. Попутно классифицируются идеалы решетки всех рекурсивных множеств.
Библ. 5.