Scholarlink

Abstract <p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(N\)</EquationSource> <!--PatRec2570139Mokatsian-m1--> </InlineEquation> be the set of nonnegative integers. The properties of some categories will be researched, including category with computable subsets of <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(N\)</EquationSource> <!--PatRec2570139Mokatsian-m2--> </InlineEquation> as objects and partial computable functions (having computable domain) as arrows (namely <i>Npcomp</i>); category with computably enumerable subsets of <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(N\)</EquationSource> <!--PatRec2570139Mokatsian-m3--> </InlineEquation> as objects and partial computable functions (having computably enumerable domain) as arrows (namely <i>NPCE</i>); category with immune subsets of <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(N\)</EquationSource> <!--PatRec2570139Mokatsian-m4--> </InlineEquation> as objects and functions (having immune sets as domain) as arrows (namely <i>NIm</i>); category with hereditary subsets of <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(N\)</EquationSource> <!--PatRec2570139Mokatsian-m5--> </InlineEquation> as objects and functions (having hereditary sets as domain) as arrows (namely <i>NHer</i>). It is shown in what capacity the notions of “coproduct of two objects,” “product of two objects,” “cone for given diagram,” and “limit of given diagram” are presented in the above-mentioned categories. In particular, it is proved that the coproduct of two objects is the joint of these two objects in <i>Npcomp</i>, <i>NPCE</i>, and <i>NIm</i> categories.</p>

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

On Properties of Some Categories with Sets of Nonnegative Integers As Objects

  • 期刊论文

  • 发表日期：

    2026年3月1日

查看全文
  • Arsen H. Mokatsian,
  • Khachatur A. Barseghyan

摘要

Abstract

Let \(N\) be the set of nonnegative integers. The properties of some categories will be researched, including category with computable subsets of \(N\) as objects and partial computable functions (having computable domain) as arrows (namely Npcomp); category with computably enumerable subsets of \(N\) as objects and partial computable functions (having computably enumerable domain) as arrows (namely NPCE); category with immune subsets of \(N\) as objects and functions (having immune sets as domain) as arrows (namely NIm); category with hereditary subsets of \(N\) as objects and functions (having hereditary sets as domain) as arrows (namely NHer). It is shown in what capacity the notions of “coproduct of two objects,” “product of two objects,” “cone for given diagram,” and “limit of given diagram” are presented in the above-mentioned categories. In particular, it is proved that the coproduct of two objects is the joint of these two objects in Npcomp, NPCE, and NIm categories.