范畴上的可计算性模型
摘要：在Longley和Normann的基础上推广了严格可计算性模型和它们之间的模拟的概念，我们在范畴上定义了规范的可计算性模型和相应的Set-值函子。我们研究了一个范畴上的规范总体可计算性模型，以及一个具有拉回的范畴上的部分可计算性模型。我们将这些概念和结果推广到具有可计算性基础的范畴，将Rosolini的领域理论与可计算性模型理论联系起来。
作者：Iosif Petrakis
论文ID：2105.06933
分类：Category Theory
分类简称：math.CT
提交时间：2021-05-17