Realizability Without Symmetry
Realizability Without Symmetry
复制标题
不对称的可实现性
DOI：
10.4230/lipics.csl.2021.38
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Haruka Tomita
中科院分区：
文献类型：
--
作者：
Haruka Tomita
在分类中，从适用的结构中构造了汇编的类别，我们在本文中介绍了几类适用的结构，并将分类的真实性构造应用于他们。类别比笛卡尔封闭类别和对称的单体封闭类别更一般的分类结构。我们提供了获得封闭的多材和封闭式组件类别的必要条件。
In categorical realizability, it is common to construct categories of assemblies and modest sets from applicative structures. In this paper, we introduce several classes of applicative structures and apply the categorical realizability construction to them. Then we obtain closed multicategories, closed categories and skew closed categories, which are more general categorical structures than Cartesian closed categories and symmetric monoidal closed categories. Moreover, we give the necessary and sufficient conditions for obtaining closed multicategories and closed categories of assemblies. 2012 ACM Subject Classification Theory of computation → Categorical semantics